Theorem AlgebraicGeometry.LocallyRingedSpace.IsOpenImmersion.lift_range

Modification history