Coefficients of `ρ(U)(Φ f)` as a double sum over the total degree `d` and the first contact index `r`.

Initializing...

Coefficients of `ρ(U)(Φ f)` as a double sum over the total degree `d` and the first contact index `r`. · Prove2Me