P
Initializing...
`ψ_δ (q^j) = q^{δj}` for integer `j`. · Prove2Me