Def IsLocalRing.maximalIdeal

Modification history