RefinedDiscrTree

📁 Source: Mathlib/Lean/Meta/RefinedDiscrTree.lean

Statistics

Metric	Count
Definitions RefinedDiscrTree, findImportMatches, findMatches, findModuleMatches	4
Theorems	0
Total	4

Lean.Meta

Definitions

Name	Category	Theorems
RefinedDiscrTree 📖	CompData	—

Lean.Meta.RefinedDiscrTree

Definitions

Name	Category	Theorems
findImportMatches 📖	CompOp	—
findMatches 📖	CompOp	—
findModuleMatches 📖	CompOp	—

---

← Back to Index