Theorem CharTwo.sub_eq_add'

Modification history

2025-07-31 12:37

Mathlib/Algebra/CharP/Two.lean

chore: incomplete removal of >6 month old deprecations (#27717) …

Deleted CharTwo.sub_eq_add'View on Github →

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 →