Theorem IsLocalRing.mem_maximalIdeal

Modification history