Theorem Nat.odd_add_one

Modification history

2024-10-24 16:27
Mathlib/Algebra/Ring/Parity.lean
feat(Algebra/CharP/Two): more lemmas on char two (#17483)
Added Nat.odd_add_oneView on Github →