Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.inv_invApp

Modification history