Theorem LocalRing.closedPoint_mem_iff

Modification history