Binomial expansion of the formal power: the `n`-th coefficient of `g^c` is `Σ_{k ≤ n} (1/k!) c(c-1)⋯(c-k+1) [xⁿ](g-1)^k`.

Initializing...

Binomial expansion of the formal power: the `n`-th coefficient of `g^c` is `Σ_{k ≤ n} (1/k!) c(c-1)⋯(c-k+1) [xⁿ](g-1)^k`. · Prove2Me