Theorem AlgebraicGeometry.SheafedSpace.IsOpenImmersion.of_stalk_iso

Modification history