Theorem natCast_eq_one_of_odd_of_two_eq_zero

Modification history

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