Theorem ideal.quotient.maximal_ideal_iff_is_field_quotient
Modification history
2022-06-25 21:12
src/ring_theory/ideal/quotient.lean
feat(algebra/field/basic): Semifields (#14683) …
Modified ideal.quotient.maximal_ideal_iff_is_field_quotientView on Github →