P
Initializing...
Local equivalence (1) ⟺ (4), positive spin $\varsigma=+1$ · Prove2Me