Def algebraic_geometry.structure_sheaf.to_basic_open

Modification history