P
Initializing...
`BookProof.SpinStatistics.fermiCreate1_sq` : fermiCreate1 * fermiCreate1 = 0 · Prove2Me