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.

Gradient flows in metric spaces...) $\endgroup$ – Suvrit Jan 6 '18 at 17:25