Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.lift_fac

Modification history