Theorem CharTwo.add_eq_iff_eq_add

Modification history

2024-10-24 16:27

Mathlib/Algebra/CharP/Two.lean

feat(Algebra/CharP/Two): more lemmas on char two (#17483)

Added CharTwo.add_eq_iff_eq_add View on Github →