Theorem AlgebraicGeometry.IsOpenImmersion.iff_stalk_iso

Modification history