Theorem IsLocalRing.isField_iff_maximalIdeal_eq

Modification history