Re: [isabelle] Formal_Power_Series.thy and inversion



I forgot the links:

[1] https://en.wikipedia.org/wiki/Lagrange_inversion_theorem
[2] http://users.math.msu.edu/users/magyar/Math880/Lagrange.pdf




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.