Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.app_invApp

Modification history