Theorem AlgebraicGeometry.Scheme.Hom.toImage_app_injective

Modification history