OAI/Combinatorics/BalancedRyser/Probability/TailGraphWeights.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.TailGraph.mem_slotVertices line 17
  2. theorem OAI.Balanced.TailGraph.edgeWeight_mk line 22
  3. theorem OAI.Balanced.TailGraph.edgeWeight_nonneg line 27
  4. theorem OAI.Balanced.TailGraph.edgeSlots_card_le_two line 33
  5. theorem OAI.Balanced.TailGraph.edgeWeight_le_of_mem line 40
  6. theorem OAI.Balanced.TailGraph.incidence_weight_le line 53
  7. theorem OAI.Balanced.TailGraph.slot_weight_le line 67
  8. theorem OAI.Balanced.TailGraph.slot_weight_le_quarter line 110
  9. theorem OAI.Balanced.TailGraph.edgeWeight_le_half line 121
  10. theorem OAI.Balanced.TailGraph.touching_weight_le_quarter line 134
  11. theorem OAI.Balanced.TailGraph.dependency_weight_le_half line 147
  12. theorem OAI.Balanced.TailGraph.touching_inverse_product_le line 164
  13. theorem OAI.Balanced.TailGraph.mem_dependencyEdges_iff line 177
  14. def OAI.Balanced.TailGraph.liftEdges line 186
  15. theorem OAI.Balanced.TailGraph.mem_liftEdges line 189
  16. theorem OAI.Balanced.TailGraph.sum_liftEdges line 193
  17. theorem OAI.Balanced.TailGraph.touchingEdges_subset line 208
  18. theorem OAI.Balanced.TailGraph.dependencyEdges_subset line 212