P
Initializing...
`BookProof.SpinStatistics.fermiAnnih2_sq` : fermiAnnih2 * fermiAnnih2 = 0 · Prove2Me