Theorem LocalRing.closed_point_mem_iff

Modification history