Theorem CharP.natCast_eq_natCast
Modification history
2025-02-19 08:59
Mathlib/Algebra/CharP/Basic.lean
chore(Algebra/CharP): move modeq lemmas from Defs to Basic (#21994) …
Modified CharP.natCast_eq_natCastView on Github →2024-05-11 02:00
Mathlib/Algebra/CharP/Basic.lean
chore(Algebra/CharP/Basic): Split (#12710) …
Modified CharP.natCast_eq_natCastView on Github →