Theorem LocalRing.of_unique_max_ideal

Modification history