P
Initializing...
Power identity: $P = \sum_x \sum_a v(x)\cdot(W - W^{\mathsf T})\, v(x+e_a)$ · Prove2Me