The contribution of an allowed tangent pattern `P` of `S(a;n)` to its recursion, as an element of `Coef`.

Initializing...

The contribution of an allowed tangent pattern `P` of `S(a;n)` to its recursion, as an element of `Coef`. · Prove2Me