Def algebraic_geometry.structure_sheaf.comap

Modification history