OAI/Probability/SKGap/Localization/FiniteRecipeControl.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SKGapCutoff.Recipe.FiniteRecipeControl line 18
2. theorem OAI.SKGapCutoff.Recipe.finite_recipe_control line 33
3. def OAI.SKGapCutoff.Recipe.emptyRecipe line 89
4. lemma OAI.SKGapCutoff.Recipe.emptyRecipe_coefficients line 102
5. lemma OAI.SKGapCutoff.Recipe.emptyRecipe_family line 110
6. lemma OAI.SKGapCutoff.Recipe.emptyRecipe_local line 118
7. theorem OAI.SKGap.Noncrossing.Primary.primary_uniform_two_seminorms line 151