OAI/Combinatorics/BalancedRyser/Selection/SelectionFlagTail.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.SelectionThinning.thinning_true_cylinder line 13
2. theorem OAI.Balanced.SelectionThinning.thinning_count_tail line 44
3. theorem OAI.Balanced.Selection.Process.thinned_inter_subset_true line 86
4. theorem OAI.Balanced.Selection.Process.flags_thinned_tail_le line 95
5. theorem OAI.Balanced.Selection.Process.noise_thinned_tail_le line 136