Theorem CharTwo.ofNat_eq_mod

Modification history

2026-06-03 21:39
Mathlib/Algebra/CharP/Two.lean
chore: remove most `warning.simp.varHead` (#40111) …
Modified CharTwo.ofNat_eq_modView on Github →
2026-03-17 23:30
Mathlib/Algebra/CharP/Two.lean
feat: Nat/Int casts on char two rings (#34622)
Added CharTwo.ofNat_eq_modView on Github →