The `σ`-coefficient of the global monic law, read in `Coef`, is the rational function of `monicExpr n σ`.

Initializing...

The `σ`-coefficient of the global monic law, read in `Coef`, is the rational function of `monicExpr n σ`. · Prove2Me