Theorem Nat.evenOddRec_zero
Modification history
2024-05-22 16:39
Mathlib/Data/Nat/EvenOddRec.lean
feat(NumberTheory/EllipticDivisibilitySequence): define recursion principle for normalised EDS (#10843) …
Modified Nat.evenOddRec_zeroView on Github →