OAI/Probability/SKGap/Matrix/RecipeWordEvent.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Recipe.pairControl_fold line 14
2. theorem OAI.SKGapCutoff.Recipe.OrdinaryData.markedRecipe_control line 24
3. def OAI.SKGapCutoff.Recipe.WordDiagramBound line 43
4. theorem OAI.SKGapCutoff.Recipe.OrdinaryData.ordinary_word_closure line 50