Def algebraic_geometry.Spec.to_LocallyRingedSpace

Modification history