P
Initializing...
`BookProof.SpinStatistics.fermiCreate2_eq_conjTranspose` : fermiCreate2 = fermiAnnih2ᴴ · Prove2Me