P
Initializing...
`q^{j+k} = q^j q^k` in `Coef`. · Prove2Me