Clean

📁 Source: Mathlib/Tactic/Clean.lean

Statistics

Metric	Count
Definitions clean, cleanConsts, cleanStx, elabClean, tacticClean_	5
Theorems	0
Total	5

Lean.Expr

Definitions

Name	Category	Theorems
clean 📖	CompOp	—
cleanConsts 📖	CompOp	—

Mathlib.Tactic

Definitions

Name	Category	Theorems
cleanStx 📖	CompOp	—
elabClean 📖	CompOp	—
tacticClean_ 📖	CompOp	—

---

← Back to Index