Def LocalRing.maximalIdeal

Modification history