OAI/MathematicalPhysics/CriticalMixing/Comparison.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalSK.disorderLaw_temperature_map line 12
2. lemma OAI.CriticalSK.companion_hamiltonian line 28
3. lemma OAI.CriticalSK.companion_partition line 50
4. lemma OAI.CriticalSK.companion_mass line 53
5. lemma OAI.CriticalSK.companion_expectation line 58
6. lemma OAI.CriticalSK.companion_variance line 62
7. lemma OAI.CriticalSK.companion_conditionalExpectation line 66
8. lemma OAI.CriticalSK.companion_dirichlet line 75
9. lemma OAI.CriticalSK.companion_poincare_preimage line 79
10. lemma OAI.CriticalSK.companion_poincare_measurable line 85
11. lemma OAI.CriticalSK.companion_poincare_probability line 92
12. theorem OAI.CriticalSK.fixed_temperature_poincare line 98