Theorem Ring.isField_iff_maximal_bot

Modification history

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