OAI/Combinatorics/CliqueFree/TriangleState.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CliqueFreeIndependence.WeightedGraph.TriangleState line 20
  2. instance OAI.CliqueFreeIndependence.WeightedGraph.triangleStateFintype line 23
  3. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.first line 28
  4. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.second line 29
  5. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.third line 30
  6. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.adj12 line 33
  7. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.adj13 line 35
  8. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.adj23 line 37
  9. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.edge12 line 39
  10. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.edge13 line 40
  11. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.edge23 line 41
  12. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.swap line 43
  13. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.rotate line 45
  14. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.swapEquiv line 48
  15. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.rotateEquiv line 54
  16. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.weight line 60
  17. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.weight_pos line 64
  18. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.weight_swap line 68
  19. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.weight_rotate line 71
  20. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_rotate line 74
  21. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_swap line 78
  22. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_eq line 82
  23. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_weight line 103
  24. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.marginal line 108
  25. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.flip line 125
  26. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.flipEquiv line 128
  27. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.weight_flip line 135
  28. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_flip line 138
  29. abbrev OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.CornerPairs line 143
  30. def OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.cornerEquiv line 146
  31. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.corner_sum line 158
  32. lemma OAI.CliqueFreeIndependence.WeightedGraph.TriangleState.sum_edge_permutations line 179