`BookProof.SpinStatistics.fermiNumber1_idem` : fermiNumber1 * fermiNumber1 = fermiNumber1

Initializing...

`BookProof.SpinStatistics.fermiNumber1_idem` : fermiNumber1 * fermiNumber1 = fermiNumber1 · Prove2Me