Theorem AlgebraicGeometry.Scheme.IdealSheafData.le_support_iff_le_vanishingIdeal

Modification history