Theorem Ring.exists_maximal_of_not_isField

Modification history

2025-12-31 20:48
Mathlib/RingTheory/Ideal/Basic.lean
refactor(RingTheory/Ideal/Basic): clean up proofs (#33418) …
Added Ring.exists_maximal_of_not_isFieldView on Github →