P
Initializing...
Theorem 1.1 — Cubic congruence for the q-secant inversion enumerator · Prove2Me