`BookProof.SpinStatistics.fermi_CAR2` : fermiAnnih2 * fermiCreate2 + fermiCreate2 * fermiAnnih2 = 1

Initializing...

`BookProof.SpinStatistics.fermi_CAR2` : fermiAnnih2 * fermiCreate2 + fermiCreate2 * fermiAnnih2 = 1 · Prove2Me