CasesM

📁 Source: Mathlib/Tactic/CasesM.lean

Statistics

Metric	Count
Definitions casesMatching, casesType, casesM, casesType, casesType!, casesm!, constructorM, constructorMatching, elabCasesM, elabCasesType, elabPatterns, matchPatterns	12
Theorems	0
Total	12

Lean.MVarId

Definitions

Name	Category	Theorems
casesMatching 📖	CompOp	—
casesType 📖	CompOp	—

Mathlib.Tactic

Definitions

Name	Category	Theorems
casesM 📖	CompOp	—
casesType 📖	CompOp	—
casesType! 📖	CompOp	—
casesm! 📖	CompOp	—
constructorM 📖	CompOp	—
constructorMatching 📖	CompOp	—
elabCasesM 📖	CompOp	—
elabCasesType 📖	CompOp	—
elabPatterns 📖	CompOp	—
matchPatterns 📖	CompOp	—

---

← Back to Index