Theorem AlgebraicGeometry.IsClosedImmersion.lift_fac

Modification history