OAI/Probability/DilutedSpin/ReservoirBondEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DilutedSpinGlass.UniversalDictionary.reservoirInsertionOn_site_energy line 13
2. lemma OAI.DilutedSpinGlass.UniversalDictionary.integral_reservoirInsertionOn_site line 25
3. lemma OAI.DilutedSpinGlass.UniversalDictionary.reservoirInsertionOn_bond_energy line 66
4. lemma OAI.DilutedSpinGlass.UniversalDictionary.insertionPoisson_bond_energy line 85