Theorem AlgebraicGeometry.IsOpenImmersion.range_pullback_fst_of_right

Modification history