Def algebraic_geometry.structure_presheaf_in_CommRing

Modification history