Theorem AlgebraicGeometry.IsOpenImmersion.range_pullback_snd_of_left

Modification history