Def algebraic_geometry.LocallyRingedSpace.is_open_immersion.pullback_cone_of_left

Modification history