OAI/Probability/FreeIsing/Trees/GibbsAutomorphism.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem367.TreeGibbsAut.vertexEquiv line 15
  2. def OAI.Problem367.TreeGibbsAut.spinEquiv line 25
  3. theorem OAI.Problem367.TreeGibbsAut.spinEquiv_apply_image line 32
  4. theorem OAI.Problem367.TreeGibbsAut.sum_inducedEdges_image line 37
  5. theorem OAI.Problem367.TreeGibbsAut.energy_relabel line 48
  6. theorem OAI.Problem367.TreeGibbsAut.energy_spinEquiv line 59
  7. theorem OAI.Problem367.TreeGibbsAut.expectation_equiv line 76
  8. theorem OAI.Problem367.TreeGibbsAut.expectation_relabel line 83
  9. theorem OAI.Problem367.TreeGibbsAut.covariance_relabel line 96
  10. theorem OAI.Problem367.TreeGibbsAut.spin_covariance_relabel line 107
  11. theorem OAI.Problem367.TreeGibbsAut.spin_expectation_relabel line 120
  12. theorem OAI.Problem367.TreeGibbsAut.covariance_bounds_of_reroot line 132