OAI/Combinatorics/BalancedRyser/Selection/Selection.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Balanced.Selection.Input line 17
  2. def OAI.Balanced.Selection.slotVertices line 24
  3. def OAI.Balanced.Selection.neighbors line 27
  4. def OAI.Balanced.Selection.GraphBounds line 30
  5. def OAI.Balanced.Selection.IsIndependentTransversal line 42
  6. structure OAI.Balanced.Selection.OutputLaw line 45
  7. def OAI.Balanced.Selection.successMass line 51
  8. def OAI.Balanced.Selection.outcomeWeight line 53
  9. def OAI.Balanced.Selection.cylinderMass line 57
  10. def OAI.Balanced.Selection.LineAssignment line 63
  11. def OAI.Balanced.Selection.TrackedSets line 68
  12. def OAI.Balanced.Selection.finalTracked line 71
  13. def OAI.Balanced.Selection.occupancyFailureMass line 75
  14. def OAI.Balanced.SelectionStatement line 83