Theorem AlgebraicGeometry.LocallyRingedSpace.IsOpenImmersion.lift_fac

Modification history