FinCases

📁 Source: Sudoku4/FinCases.lean

Statistics

Metric	Count
Definitions CheckFrom, tacticFin_cases_, eagerReflNat, finCases', mkFinNatLit	5
Theorems last, step, cases'	3
Total	8

Fin

Definitions

Name	Category	Theorems
CheckFrom 📖	MathDef	1 math math: CheckFrom.last

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
cases' 📖	—	CheckFrom	—	—	—

Fin.CheckFrom

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
last 📖	mathematical	—	Fin.CheckFrom	—	—
step 📖	—	Fin.CheckFrom	—	—	—

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
tacticFin_cases_ 📖	CompOp	—

Lean.Meta

Definitions

Name	Category	Theorems
eagerReflNat 📖	CompOp	—
finCases' 📖	CompOp	—
mkFinNatLit 📖	CompOp	—

---

← Back to Index