OAI/Probability/SKGap/Stability/WordPredictionStability.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGap.wordAverage line 13
2. def OAI.SKGap.wordRecursionValue line 15
3. lemma OAI.SKGap.wordAverage_abs_le line 20
4. lemma OAI.SKGap.wordAverage_sub_abs_le line 30
5. lemma OAI.SKGap.abs_list_difference_le line 36
6. lemma OAI.SKGap.wordPrediction_recursion line 51
7. lemma OAI.SKGap.wordPrediction_base line 61
8. lemma OAI.SKGap.scalar_product_prediction_error line 66
9. theorem OAI.SKGap.wordRecursionValue_stability line 84