Theorem SubsemiringClass.expChar_iff

Modification history

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