`BookProof.SpinStatistics.fermiNumber_commute` : fermiNumber1 * fermiNumber2 = fermiNumber2 * fermiNumber1

Initializing...

`BookProof.SpinStatistics.fermiNumber_commute` : fermiNumber1 * fermiNumber2 = fermiNumber2 * fermiNumber1 · Prove2Me