For a well-formed law, the `σ`-coefficient of `lawCoef L` is the rational function of `lawCoeff L σ`.

Initializing...

For a well-formed law, the `σ`-coefficient of `lawCoef L` is the rational function of `lawCoeff L σ`. · Prove2Me