Theorem AlgebraicGeometry.IsOpenImmersion.isoOfRangeEq_inv_fac

Modification history