Def algebraic_geometry.LocallyRingedSpace.is_open_immersion.pullback_cone_of_left_is_limit

Modification history