TransverseTactics

📁 Source: PhysLean/Meta/TransverseTactics.lean

Statistics

Metric	Count
Definitions transverseTactics, processCommands, traverseForest, visitInfo	4
Theorems	0
Total	4

(root)

Definitions

Name	Category	Theorems
transverseTactics 📖	CompOp	—

transverseTactics

Definitions

Name	Category	Theorems
processCommands 📖	CompOp	—
traverseForest 📖	CompOp	—
visitInfo 📖	CompOp	—

---

← Back to Index