Def algebraic_geometry.PresheafedSpace.colimit

Modification history