P
Initializing...
`BookProof.SpinStatistics.fermiNumber1_hermitian` : fermiNumber1ᴴ = fermiNumber1 · Prove2Me