P
Initializing...
`BookProof.SpinStatistics.fermiCreate2_sq` : fermiCreate2 * fermiCreate2 = 0 · Prove2Me