OAI/Probability/SKGap/Terminal/GibbsEventProbabilityReal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.gibbsEventProbability_toReal line 176
2. lemma OAI.SKGapCutoff.gibbsExpectation_deviation_bound line 191
3. def OAI.SKGapCutoff.Regression.gibbsSpinEnergyAverage line 226
4. theorem OAI.SKGapCutoff.Regression.gibbsSpinEnergyAverage_limit line 229