Simp

📁 Source: Batteries/Lean/Meta/Simp.lean

Statistics

Metric	Count
Definitions mkCast, mkDischargeWrapper, mkEqSymm, mkSimpContext'	4
Theorems	0
Total	4

Lean.Meta.Simp

Definitions

Name	Category	Theorems
mkCast 📖	CompOp	—
mkDischargeWrapper 📖	CompOp	—
mkEqSymm 📖	CompOp	—
mkSimpContext' 📖	CompOp	—

---

← Back to Index