OAI/Probability/SKGap/Terminal/SpinEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.sum_edges line 12
2. lemma OAI.SKGap.edge_energy_formula line 18
3. lemma OAI.SKGap.edge_symmetric_sum line 46
4. def OAI.SKGap.spinMul line 65
5. lemma OAI.SKGap.spinValue_mul line 67
6. lemma OAI.SKGap.spinMul_involutive line 71
7. lemma OAI.SKGap.sum_spinMul line 75
8. lemma OAI.SKGap.spin_exponential_sum line 79