Theorem IsLocalRing.eq_maximalIdeal

Modification history