FinCases

📁 Source: Mathlib/Tactic/FinCases.lean

Statistics

Metric	Count
Definitions finCases, finCasesAt, getMemType, unfoldCases	4
Theorems	0
Total	4

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
finCases 📖	CompOp	—
finCasesAt 📖	CompOp	—
getMemType 📖	CompOp	—
unfoldCases 📖	CompOp	—

---

← Back to Index