Theorem AlgebraicGeometry.Scheme.IdealSheafData.subschemeι_app_surjective

Modification history