Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.toScheme

Modification history