Theorem natCast_eq_zero_of_even_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_zero_of_even_of_two_eq_zero View on Github →