We present an infinite-dimensional version of Cartan's theorem concerning the existence of a holomorphic inverse of a given holomorphic self-map of a bounded convex open subset of a dual Banach space. No separability is assumed, contrary to previous analogous results. The main assumption is that the derivative operator is power bounded, and which we, in turn, show to be diagonalizable in some cases, like the separable Hilbert space.