P
Initializing...
`BookProof.SpinStatistics.fermiCreate1_eq_conjTranspose` : fermiCreate1 = fermiAnnih1ᴴ · Prove2Me