Def algebraic_geometry.Scheme.forget_to_LocallyRingedSpace

Modification history