OAI/Probability/SKGap/Terminal/SmallFieldCount.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SKGap.cardinal_small_sum line 14
  2. lemma OAI.SKGap.coupling_spin_norm_square line 50
  3. lemma OAI.SKGap.all_configurations_small_fields line 65
  4. lemma OAI.SKGap.positive_form_cauchy line 90
  5. lemma OAI.SKGap.curvature_poincare_on_kernel_orthogonal line 105
  6. lemma OAI.SKGap.conditionalExpectation_add line 139
  7. lemma OAI.SKGap.conditionalExpectation_smul line 145
  8. def OAI.SKGap.heatBathLinear line 152
  9. def OAI.SKGap.gibbsScale line 168
  10. lemma OAI.SKGap.gibbsScale_inner line 181
  11. lemma OAI.SKGap.heatBathLinear_const line 192
  12. lemma OAI.SKGap.heatBathLinear_kernel line 198
  13. lemma OAI.SKGap.heatBath_curvature_poincare line 211