The `n`-th coefficient of `ρ(U_{a,a}) Φ(G_a)`, expanded by divisor degree `d` and crossing depth `r` into crossing laws and pattern sums (plus `1` in degree `0`).

Initializing...

The `n`-th coefficient of `ρ(U_{a,a}) Φ(G_a)`, expanded by divisor degree `d` and crossing depth `r` into crossing laws and pattern sums (plus `1` in degree `0`). · Prove2Me