Cases

📁 Source: Aesop/Builder/Cases.lean

Statistics

Metric	Count
Definitions check, toIndexingMode, cases, casesCore, getCasesIndexingMode, mkCasesTarget, casesIndexTransparency, casesPatterns, casesTransparency	9
Theorems	0
Total	9

Aesop.CasesPattern

Definitions

Name	Category	Theorems
check 📖	CompOp	—
toIndexingMode 📖	CompOp	—

Aesop.RuleBuilder

Definitions

Name	Category	Theorems
cases 📖	CompOp	—
casesCore 📖	CompOp	—
getCasesIndexingMode 📖	CompOp	—
mkCasesTarget 📖	CompOp	—

Aesop.RuleBuilderOptions

Definitions

Name	Category	Theorems
casesIndexTransparency 📖	CompOp	—
casesPatterns 📖	CompOp	—
casesTransparency 📖	CompOp	—

---

← Back to Index