Are there versions of the implicit function theorem in spaces that lack a natural linear structure, e.g. metric spaces. A quick google search has found me no results.
I am specifically interested in applying such results to the space of probability measures on some Polish space equipped with the $p$-Wasserstein metric.