EvenOddRec

📁 Source: Mathlib/Data/Nat/EvenOddRec.lean

Statistics

Metric	Count
Definitions evenOddRec, evenOddStrongRec	2
Theorems evenOddRec_even, evenOddRec_odd, evenOddRec_zero	3
Total	5

Nat

Definitions

Name	Category	Theorems
evenOddRec 📖	CompOp	3 math math: evenOddRec_zero, evenOddRec_even, evenOddRec_odd
evenOddStrongRec 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
evenOddRec_even 📖	mathematical	—	evenOddRec	—	binaryRec_eq
evenOddRec_odd 📖	mathematical	—	evenOddRec	—	binaryRec_eq
evenOddRec_zero 📖	mathematical	—	evenOddRec	—	binaryRec_zero

---

← Back to Index