inverse): convergence of the inverse of a power series (#5854)

Commit

4 years ago

feat(analysis/analytic/inverse): convergence of the inverse of a power series (#5854) If a formal multilinear series has a positive radius of convergence, then its inverse also does.

Author

sgouezel

Parents

19f24ced

mathlib c70feebd - feat(analysis/analytic/inverse): convergence of the inverse of a power series (#5854)

mathlib
c70feebd - feat(analysis/analytic/inverse): convergence of the inverse of a power series (#5854)