Def algebraic_geometry.structure_sheaf.to_stalk

Modification history