Theorem AlgebraicGeometry.Scheme.Hom.preimageIso_hom_ι

Modification history