`BookProof.SpinStatistics.fermiCreate1_eq` : fermiCreate1 = !![0,0,0,0; 0,0,0,0; 1,0,0,0; 0,1,0,0]

Initializing...

`BookProof.SpinStatistics.fermiCreate1_eq` : fermiCreate1 = !![0,0,0,0; 0,0,0,0; 1,0,0,0; 0,1,0,0] · Prove2Me