Theorem AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.app_inv_app'

Modification history