Theorem LocalRing.isLocalHom_iff_comap_closedPoint

Modification history