Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.toSheafedSpaceHom

Modification history