OAI/Probability/FreeIsing/Gibbs/Leaf.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem367.GibbsLeaf.energy line 9
2. def OAI.Problem367.GibbsLeaf.weight line 14
3. theorem OAI.Problem367.GibbsLeaf.energy_congr_on line 18
4. theorem OAI.Problem367.GibbsLeaf.energy_update_eq_erase_add line 33
5. theorem OAI.Problem367.GibbsLeaf.sum_weight_update_of_edges line 66
6. theorem OAI.Problem367.GibbsLeaf.sum_weight_update_leaf line 79
7. theorem OAI.Problem367.GibbsLeaf.sum_weight_eq_erase_sum line 94