Theorem LocalRing.comap_closedPoint

Modification history