P
Initializing...
`BookProof.SpinStatistics.fermiNumber2_hermitian` : fermiNumber2ᴴ = fermiNumber2 · Prove2Me