`BookProof.SpinStatistics.fermiNumber2_idem` : fermiNumber2 * fermiNumber2 = fermiNumber2

Initializing...

`BookProof.SpinStatistics.fermiNumber2_idem` : fermiNumber2 * fermiNumber2 = fermiNumber2 · Prove2Me