Theorem LocalRing.isLocalRingHom_iff_comap_closedPoint

Modification history