Theorem AlgebraicGeometry.Scheme.Hom.isoImage_hom_ι

Modification history