Commit 2021-02-11 00:37 c70feebd
View on Github →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.
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.