Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.inv_naturality

Modification history