OAI/Combinatorics/BalancedRyser/Selection/SelectionPrecheck.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.degree_eq_sum_domain_neighbors line 18
2. theorem OAI.Balanced.Selection.Process.hazard_le_degree_div line 35
3. theorem OAI.Balanced.Selection.Process.precheck_of_concentration line 46
4. theorem OAI.Balanced.Selection.Process.exists_precheck_threshold line 120