OAI/Combinatorics/BalancedRyser/Probability/WitnessCounting.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.affine_witness_count_le_exp line 10
2. theorem OAI.Balanced.sum_choose_div_pow_le_exp line 27
3. theorem OAI.Balanced.affine_weighted_witness_sum_le_exp line 43
4. theorem OAI.Balanced.affine_witness_union_bound line 59