OAI/MathematicalPhysics/Heisenberg/GibbsLimits.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.state_apply_norm_le line 18
2. lemma OAI.Heisenberg.state_product_norm_le line 22
3. theorem OAI.Heisenberg.finite_gibbs_strip line 26
4. lemma OAI.Heisenberg.limit_state_dynamics_locallyUniform line 64
5. theorem OAI.Heisenberg.gibbs_limit_KMS line 82
6. theorem OAI.Heisenberg.exists_KMS line 119