Def algebraic_geometry.structure_sheaf.stalk_iso

Modification history