Def algebraic_geometry.projective_spectrum.structure_sheaf.structure_presheaf_in_CommRing

Modification history