Theorem LocalRing.maximal_ideal_unique

Modification history