OAI/Combinatorics/BalancedRyser/Probability/TailGraph.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.TailGraph.slotVertices line 11
  2. def OAI.Balanced.TailGraph.slotSize line 14
  3. def OAI.Balanced.TailGraph.edgeSlots line 17
  4. def OAI.Balanced.TailGraph.edgeWeight line 20
  5. def OAI.Balanced.TailGraph.slotEdges line 25
  6. def OAI.Balanced.TailGraph.touchingEdges line 29
  7. def OAI.Balanced.TailGraph.dependencyEdges line 33
  8. def OAI.Balanced.TailGraph.NoWithinSlotEdges line 37