Def AlgebraicGeometry.Spec.locallyRingedSpaceMap

Modification history