Theorem IsLocalRing.le_maximalIdeal

Modification history