Theorem LocalRing.not_mem_maximalIdeal

Modification history