Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.toSchemeHom

Modification history