`BookProof.SpinStatistics.fermiNumber2_eq` : fermiNumber2 = !![0,0,0,0; 0,1,0,0; 0,0,0,0; 0,0,0,1]

Initializing...

`BookProof.SpinStatistics.fermiNumber2_eq` : fermiNumber2 = !![0,0,0,0; 0,1,0,0; 0,0,0,0; 0,0,0,1] · Prove2Me