8.5 Inverse and implicit function theorems (source code)

= 8.5 Inverse and implicit function theorems
{c}

Online text: https://www.jirka.org/ra/html/sec_svinvfuncthm.html

Cited passages: Basic Analysis, Volume II, §8.5.1, Theorem 8.5.6 and the preceding circle example: local existence, uniqueness and derivative of an implicit graph.