Theorem AlgebraicGeometry.Scheme.Hom.isoImage_inv_ι

Modification history