P
Initializing...
The remaining CAR: `{ψ†, ψ†} = 2 ψ†² = 0` · Prove2Me