OAI/Probability/SKGap/Terminal/FinitePairTail.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Recipe.finite_pair_chebyshev line 14
2. lemma OAI.SKGapCutoff.Recipe.squared_sqrt_scale line 35
3. lemma OAI.SKGapCutoff.Recipe.RecipeMatrixEvent.mono line 39
4. lemma OAI.SKGapCutoff.Recipe.residualCoefficientBudget_depth_mono line 46
5. theorem OAI.SKGapCutoff.Recipe.gibbs_pairing_tail line 56