Theorem CharTwo.two_eq_zero

Modification history

2026-03-17 23:30

Mathlib/Algebra/CharP/Two.lean

feat: Nat/Int casts on char two rings (#34622)

Modified CharTwo.two_eq_zero 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.two_eq_zero View on Github →

2023-03-14 13:55

Mathlib/Algebra/CharP/Two.lean

feat: port Algebra.CharP.Two (#2873)

Added CharTwo.two_eq_zero View on Github →