Def algebraic_geometry.SheafedSpace.forget_to_PresheafedSpace

Modification history