OAI/Probability/DilutedSpin/CenteredTrialLocal.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DilutedSpinGlass.logWeightedExp_add_constant line 12
2. lemma OAI.DilutedSpinGlass.log_edge_center line 24
3. lemma OAI.DilutedSpinGlass.message_center line 30
4. lemma OAI.DilutedSpinGlass.siteLog_center line 36
5. lemma OAI.DilutedSpinGlass.trial_site_center line 48
6. lemma OAI.DilutedSpinGlass.trial_edge_center line 58
7. lemma OAI.DilutedSpinGlass.centeredModel_interaction_integrable line 72
8. lemma OAI.DilutedSpinGlass.centeredModel_field_integrable line 78
9. lemma OAI.DilutedSpinGlass.liminf_pressure_center line 83