Theorem AlgebraicGeometry.Scheme.IdealSheafData.vanishingIdeal_iSup

Modification history