Theorem ExpChar.expChar_center_iff

Modification history

2024-11-22 13:03
Mathlib/Algebra/CharP/Subring.lean
feat(FieldTheory.JacobsonNoether) : add proof of the Jacobson-Noether theorem (#16525) …
Added ExpChar.expChar_center_iffView on Github →