OAI/Probability/FreeIsing/Gibbs/Weights.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem367.transitionKernel_tanh_eq_exp line 9
  2. theorem OAI.Problem367.prod_transitionKernel_tanh_eq_exp line 20
  3. theorem OAI.Problem367.freeCylinderWeight_tanh_eq_exp line 34
  4. theorem OAI.Problem367.finiteIsing_partitionFunction line 44
  5. theorem OAI.Problem367.finiteFreeIsingPMF_tanh_eq_normalized_exp line 61
  6. theorem OAI.Problem367.log_transitionKernel_tanh line 71
  7. theorem OAI.Problem367.freeCylinderWeight_tanh_pos line 77
  8. theorem OAI.Problem367.HasFreeIsingLaw.cylinder_boltzmann line 84