Def AlgebraicGeometry.Scheme.SpecΓIdentity

Modification history