Theorem LocalRing.mem_maximalIdeal

Modification history