Theorem AlgebraicGeometry.IsOpenImmersion.lift_uniq

Modification history