`BookProof.SpinStatistics.fermiAnticomm_create` : fermiCreate1 * fermiCreate2 + fermiCreate2 * fermiCreate1 = 0

Initializing...

`BookProof.SpinStatistics.fermiAnticomm_create` : fermiCreate1 * fermiCreate2 + fermiCreate2 * fermiCreate1 = 0 · Prove2Me