Theorem SubsemiringClass.charP_iff

Modification history

2026-10-28 04:22
Mathlib/Algebra/CharP/Subring.lean
feat(Algebra/CharP/Subring): generalize (#44918) …
Added SubsemiringClass.charP_iffView on Github →