OAI/Combinatorics/BalancedRyser/Selection/SelectionCensorProbability.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.sum_drawWeight_over_slots line 16
2. theorem OAI.Balanced.Selection.Process.sum_drawWeight_over_slots_le line 31
3. theorem OAI.Balanced.Selection.Process.drawWeight_event_le_card_div line 45
4. theorem OAI.Balanced.Selection.Process.noiseWeight_vertex_event_eq_drawWeight line 66
5. theorem OAI.Balanced.Selection.Process.exceptional_noise_mass_le line 79
6. theorem OAI.Balanced.Selection.Process.exceptional_noise_mass_le_source_bound line 91