Theorem IsLocalRing.isLocalHom_iff_comap_closedPoint

Modification history