`BookProof.SpinStatistics.fermiTotalNumber_eq` : fermiNumber1 + fermiNumber2 = !![0,0,0,0; 0,1,0,0; 0,0,1,0; 0,0,0,2]

Initializing...

`BookProof.SpinStatistics.fermiTotalNumber_eq` : fermiNumber1 + fermiNumber2 = !![0,0,0,0; 0,1,0,0; 0,0,1,0; 0,0,0,2] · Prove2Me