OAI/Probability/SKGap/Entropy/UpperRare.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Regression.ExponentialConvergence.upper_rare line 84
2. lemma OAI.SKGapCutoff.Regression.expConvergence_sum line 93
3. lemma OAI.SKGapCutoff.Regression.linear_combination_weight_bound line 101
4. lemma OAI.SKGapCutoff.Regression.append_linear_combination_lipschitz line 113
5. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.append_unbounded_linear line 126
6. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.adaptive_affine_query line 179