P

Initializing...

Binary Weyl-sum integral $=$ $2\,\times$ symmetric $\Lambda$-count $-\ \Lambda(m)^2$ · Prove2Me