SeqFocus

📁 Source: Batteries/Tactic/SeqFocus.lean

Statistics

Metric	Count
Definitions «tacticMap_tacs[_;]»	1
Theorems	0
Total	1

Batteries.Tactic

Definitions

Name	Category	Theorems
«tacticMap_tacs[_;]» 📖	CompOp	—

---

← Back to Index