Def algebraic_geometry.projective_spectrum.structure_sheaf.structure_presheaf_comp_forget

Modification history