OAI/Combinatorics/BalancedRyser/Selection/SelectionAuxiliaryBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.censoredDomainNumerator_eq_count line 16
2. theorem OAI.Balanced.Selection.Process.censoredDegreeNumerator_eq_count line 29
3. theorem OAI.Balanced.Selection.Process.abs_domainTrackIncrement_le line 42
4. theorem OAI.Balanced.Selection.Process.abs_degreeTrackIncrement_le line 65
5. theorem OAI.Balanced.Selection.Process.abs_domainTrack_succ_sub_le line 93
6. theorem OAI.Balanced.Selection.Process.abs_degreeTrack_succ_sub_le line 103