Theorem IsLocalRing.closed_point_mem_iff

Modification history