OAI/Probability/SKGap/Entropy/AdaptiveTrueAffineQuery.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.adaptive_true_affine_query line 99
2. lemma OAI.SKGapCutoff.Regression.ExponentialConvergence.constant line 225
3. lemma OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.congr_on_good line 234
4. lemma OAI.SKGapCutoff.Regression.ExponentialSquareTails.congr_on_good line 252
5. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.completed_normalized_query line 269