Theorem AlgebraicGeometry.Scheme.IdealSheafData.vanishingIdeal_top

Modification history