`residueKillT` kills the `x`-chart substitution down to the residue of the constant term.

Initializing...

`residueKillT` kills the `x`-chart substitution down to the residue of the constant term. · Prove2Me