Theorem AlgebraicGeometry.IsOpenImmersion.app_eq_invApp_app_of_comp_eq

Modification history