local inverse function

[ریاضیات] تابع معکوسی موضعی