Theorem IsLocalRing.of_unique_max_ideal

Modification history