Coefficients of a descended law: `lawDescend δ L` has coefficient `L_τ(q^δ)` at `scaleType δ τ` and vanishing coefficients at types not of this form.

Initializing...

Coefficients of a descended law: `lawDescend δ L` has coefficient `L_τ(q^δ)` at `scaleType δ τ` and vanishing coefficients at types not of this form. · Prove2Me