Theorem AlgebraicGeometry.Scheme.IdealSheafData.support_eq_top_iff

Modification history