PrintDependents

📁 Source: Batteries/Tactic/PrintDependents.lean

Statistics

Metric	Count
Definitions M, State, otherAxiom, result, collect, mkState, «command#printDependents___»	7
Theorems	0
Total	7

Batteries.Tactic

Definitions

Name	Category	Theorems
«command#printDependents___» 📖	CompOp	—

Batteries.Tactic.CollectDependents

Definitions

Name	Category	Theorems
M 📖	CompOp	—
State 📖	CompData	—
collect 📖	CompOp	—
mkState 📖	CompOp	—

Batteries.Tactic.CollectDependents.State

Definitions

Name	Category	Theorems
otherAxiom 📖	CompOp	—
result 📖	CompOp	—

---

← Back to Index