Theorem IsLocalRing.maximal_ideal_unique

Modification history