OAI/Probability/SKGap/Gaussian/GaussianRecipeEvent.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGapCutoff.Recipe.ordinaryWordTail line 13
2. def OAI.SKGapCutoff.Recipe.recipeNormTail line 18
3. theorem OAI.SKGapCutoff.Recipe.gaussian_recipe_event line 22
4. lemma OAI.SKGapCutoff.Recipe.exp_rate_limit line 67
5. lemma OAI.SKGapCutoff.Recipe.n_exp_rate_limit line 70
6. lemma OAI.SKGapCutoff.Recipe.recipeNormTail_limit line 74
7. lemma OAI.SKGapCutoff.Recipe.ordinaryWordTail_limit line 91
8. theorem OAI.SKGapCutoff.Recipe.gaussian_recipe_event_probability line 102