Def AlgebraicGeometry.Scheme.IdealSheafData.subschemeFunctor

Modification history