Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.toSheafedSpace

Modification history