**Projective self-reciprocity.** The normalised global projective law `R_n` is invariant under reciprocal substitution: `R_n(1/q) = R_n(q)` as elements of `Coef`.

Initializing...

**Projective self-reciprocity.** The normalised global projective law `R_n` is invariant under reciprocal substitution: `R_n(1/q) = R_n(q)` as elements of `Coef`. · Prove2Me