Theorem LocalRing.eq_maximalIdeal

Modification history