fixture_even_or_odd
Closed
Theorem & proof
·
fixture_even_or_odd.lean
·
✓ verified
1
2
3
import Mathlib theorem fixture_even_or_odd (n : ℕ) : Even n ∨ Odd n := Nat.even_or_odd n
Rewards pledged
No rewards pledged yet.