Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.scheme_toScheme

Modification history