`BookProof.SpinStatistics.fermi_CAR1` : fermiAnnih1 * fermiCreate1 + fermiCreate1 * fermiAnnih1 = 1

Initializing...

`BookProof.SpinStatistics.fermi_CAR1` : fermiAnnih1 * fermiCreate1 + fermiCreate1 * fermiAnnih1 = 1 · Prove2Me