Truncated product expansion of `Π_{m=1}^n ψ_m(B_a)^{C_m}` as a sum over exponent families `K i r`, obtained by multiplying the expansions of `formalPow_adamsSer_clusterSer_scongr`.

Initializing...

Truncated product expansion of `Π_{m=1}^n ψ_m(B_a)^{C_m}` as a sum over exponent families `K i r`, obtained by multiplying the expansions of `formalPow_adamsSer_clusterSer_scongr`. · Prove2Me