Theorem IsLocalRing.not_mem_maximalIdeal

Modification history