Def algebraic_geometry.structure_presheaf_comp_forget

Modification history