In mathematics, the Lagrange reversion theorem gives series or formal power series expansions of certain implicitly defined functions; indeed, of compositions with such functions.
Let v be a function of x and y in terms of another function f such that
Then for any function g, for small enough y:
If g is the identity, this becomes