P
Initializing...
`v([n+1]_q) = q⁻ⁿ [n+1]_q`. · Prove2Me