`BookProof.SpinStatistics.fermiNumber1_eq` : fermiNumber1 = !![0,0,0,0; 0,0,0,0; 0,0,1,0; 0,0,0,1]

Initializing...

`BookProof.SpinStatistics.fermiNumber1_eq` : fermiNumber1 = !![0,0,0,0; 0,0,0,0; 0,0,1,0; 0,0,0,1] · Prove2Me