OAI/Probability/SKGap/Localization/OriginalEventRegeneration.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Regression.original_event_le_regeneration line 118
2. theorem OAI.SKGapCutoff.Regression.original_exponentiallyRare_of_regenerated line 179
3. def OAI.SKGapCutoff.Regression.sampledRawAnswer line 218
4. lemma OAI.SKGapCutoff.Regression.sampledRawAnswer_scaled line 223
5. lemma OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.congr_eventually line 247
6. lemma OAI.SKGapCutoff.Regression.ExponentialSquareTails.congr_eventually line 261
7. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.sampled_unnormalized_assembly line 273
8. theorem OAI.SKGapCutoff.Regression.ExponentialEmpiricalConcentration.sampled_full_query line 357