Find

📁 Source: Mathlib/Tactic/Find.lean

Statistics

Metric	Count
Definitions findDeclsPerHead, findType, tacticFind, «command#find_», «tactic#find_»	5
Theorems	0
Total	5

Mathlib.Tactic.Find

Definitions

Name	Category	Theorems
findDeclsPerHead 📖	CompOp	—
findType 📖	CompOp	—
tacticFind 📖	CompOp	—
«command#find_» 📖	CompOp	—
«tactic#find_» 📖	CompOp	—

---

← Back to Index