Theorem IsLocalRing.comap_closedPoint

Modification history