OAI/Combinatorics/BalancedRyser/Selection/SelectionBarriers.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.SelectionBarriers.finite_hazard_le line 12
2. theorem OAI.Balanced.SelectionBarriers.domain_barrier line 26
3. theorem OAI.Balanced.SelectionBarriers.hazard_barrier_arithmetic line 38
4. theorem OAI.Balanced.SelectionBarriers.eventually_selection_error_le line 82
5. theorem OAI.Balanced.SelectionBarriers.eventually_selection_error_budgets line 98