OAI/Combinatorics/BalancedRyser/Selection/SelectionAuxiliaryConcentration.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.Selection.Process.domainTrackJumpBound line 13
2. def OAI.Balanced.Selection.Process.degreeTrackJumpBound line 16
3. theorem OAI.Balanced.Selection.Process.domainTrackJumpBound_pos line 20
4. theorem OAI.Balanced.Selection.Process.degreeTrackJumpBound_pos line 28
5. theorem OAI.Balanced.Selection.Process.simultaneous_domainTrack_tail_of_mass line 38
6. theorem OAI.Balanced.Selection.Process.simultaneous_degreeTrack_tail_of_mass line 65