Extension of the arc-analytic inverse function theorems beyond semialgebraic graphs
Extension conjecture. Theorems 1 and 2 should hold without the assumption that the graph of fff is semialgebraic.