Theorem AlgebraicGeometry.Scheme.default_asIdeal

Modification history