Theorem CharTwo.eq_add_iff_add_eq

Modification history

2024-10-24 16:27

Mathlib/Algebra/CharP/Two.lean

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

Added CharTwo.eq_add_iff_add_eq View on Github →