Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.invApp_app

Modification history