Def algebraic_geometry.structure_sheaf.basic_open_iso

Modification history