OAI/Combinatorics/BalancedRyser/Selection/SelectionDraw.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.Selection.vertexDrawMass line 14
  2. lemma OAI.Balanced.Selection.vertexDrawMass_nonneg line 17
  3. lemma OAI.Balanced.Selection.vertexDrawMass_in_slot line 21
  4. lemma OAI.Balanced.Selection.vertexDrawMass_fiber line 26
  5. lemma OAI.Balanced.Selection.sum_vertexDrawMass line 39
  6. lemma OAI.Balanced.Selection.vertexDrawMass_slot line 50
  7. def OAI.Balanced.Selection.conflictHazard line 58
  8. lemma OAI.Balanced.Selection.conflictHazard_nonneg line 61
  9. lemma OAI.Balanced.Selection.conflictHazard_eq line 68
  10. def OAI.Balanced.Selection.nextStepMass line 92
  11. lemma OAI.Balanced.Selection.nextStepMass_nonneg line 96
  12. lemma OAI.Balanced.Selection.sum_nextStepMass line 104
  13. def OAI.Balanced.Selection.stepLaw line 109
  14. lemma OAI.Balanced.Selection.stepLaw_apply line 118
  15. lemma OAI.Balanced.Selection.nextStep_pre_survival line 123
  16. lemma OAI.Balanced.Selection.nextStep_post_survival_le line 139