P
Initializing...
Equal-spin ansatz: Lorentz signature (−,+,+,+,+) · Prove2Me