The global law (monic for `ε = false`, projective for `ε = true`) of degree `n` is safe.

Initializing...

The global law (monic for `ε = false`, projective for `ε = true`) of degree `n` is safe. · Prove2Me