OAI/Probability/SKGap/Entropy/ParameterMapWeight.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.parameter_map_weight line 58
2. lemma OAI.SKGapCutoff.Regression.average_lipschitz_metric_sq line 126
3. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.l2_stability line 149
4. lemma OAI.SKGapCutoff.Regression.ExponentialConvergence.dominated_zero line 196
5. theorem OAI.SKGapCutoff.Regression.ExponentialConvergence.operator_omit line 224
6. lemma OAI.SKGapCutoff.Regression.empirical_quadratic_expansion line 247
7. lemma OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.linear_combination_second_moment line 274