Theorem AlgebraicGeometry.IsOpenImmersion.opensRange_pullback_snd_of_left

Modification history