Def algebraic_geometry.PresheafedSpace.pushforward_diagram_to_colimit

Modification history