Theorem CharP.cast_eq_zero_iff'

Modification history

2025-04-04 06:20
Mathlib/Algebra/CharP/Defs.lean
chore: rename primed theorem for `CharP` (#23656) …
Added CharP.cast_eq_zero_iff'View on Github →