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

Initializing...

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