P
Initializing...
Reciprocity in the paper's notation: `A_n(q) = B_n(1/q)` (restates `recip_main`). · Prove2Me