Def algebraic_geometry.Proj.to_LocallyRingedSpace

Modification history