`BookProof.SpinStatistics.fermi_CAR_cross` : fermiAnnih1 * fermiCreate2 + fermiCreate2 * fermiAnnih1 = 0

Initializing...

`BookProof.SpinStatistics.fermi_CAR_cross` : fermiAnnih1 * fermiCreate2 + fermiCreate2 * fermiAnnih1 = 0 · Prove2Me