Now you are in the subtree of Математический анализ project. 

4.12. Промежутки. Теорема об обратной функции