`BookProof.SpinStatistics.fermiCreate2_eq` : fermiCreate2 = !![0,0,0,0; 1,0,0,0; 0,0,0,0; 0,0,-1,0]

Initializing...

`BookProof.SpinStatistics.fermiCreate2_eq` : fermiCreate2 = !![0,0,0,0; 1,0,0,0; 0,0,0,0; 0,0,-1,0] · Prove2Me