Theorem CharTwo.sub_eq_add'

Modification history

2024-10-24 16:27
Mathlib/Algebra/CharP/Two.lean
feat(Algebra/CharP/Two): more lemmas on char two (#17483)
Modified CharTwo.sub_eq_add'View on Github →
2023-11-16 23:07
Mathlib/Algebra/CharP/Two.lean
fix: remove references to non-heterogenous operators in theorem statements (#8086) …
Modified CharTwo.sub_eq_add'View on Github →
2023-03-14 13:55
Mathlib/Algebra/CharP/Two.lean
feat: port Algebra.CharP.Two (#2873)
Added CharTwo.sub_eq_add'View on Github →