Def AlgebraicGeometry.LocallyRingedSpace.SpecΓIdentity

Modification history