For a well-formed law, the `σ`-coefficient of `lawCoef L` with `q ↦ 1/q` applied is the rational function of the coefficient expression with `q ↦ 1/q` substituted.

Initializing...

For a well-formed law, the `σ`-coefficient of `lawCoef L` with `q ↦ 1/q` applied is the rational function of the coefficient expression with `q ↦ 1/q` substituted. · Prove2Me