OAI/Combinatorics/BalancedRyser/Probability/PatternMomentTails.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.PatternTails.fixed_tail_le_moment line 12
2. lemma OAI.Balanced.PatternTails.count_mem_Icc line 37
3. lemma OAI.Balanced.PatternTails.mean_mem_Icc line 46
4. theorem OAI.Balanced.PatternTails.count_tail_le line 56
5. theorem OAI.Balanced.PatternTails.centered_tail_le line 64
6. theorem OAI.Balanced.PatternTails.uniform_count_tail_of_moments line 85
7. theorem OAI.Balanced.PatternTails.uniform_centered_linear_tail_of_moments line 98
8. theorem OAI.Balanced.PatternTails.finite_fixed_tail_union_le line 127
9. theorem OAI.Balanced.PatternTails.uniform_count_oneHundredth_tail_of_moments line 153