Theorem CharTwo.of_one_ne_zero_of_two_eq_zero

Modification history

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