P
Initializing...
Invariance of the lattice measure under global $U(1)$ rotations · Prove2Me