Theorem IsLocalRing.closedPoint_mem_iff

Modification history