P
Initializing...
`BookProof.SpinStatistics.fermiAnnih1_sq` : fermiAnnih1 * fermiAnnih1 = 0 · Prove2Me