OAI/Probability/SwitchChain/ThreeVertexEncoding.lean

GitHub source file

39 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Problem315.TripleEncoding.graphDegree_three line 13
  2. lemma OAI.Problem315.TripleEncoding.graphDegree_injective_three line 22
  3. def OAI.Problem315.TripleEncoding.edgeCount line 48
  4. def OAI.Problem315.TripleEncoding.missingVertexGraph line 52
  5. def OAI.Problem315.TripleEncoding.centerGraph line 63
  6. lemma OAI.Problem315.TripleEncoding.graphDegree_missingVertexGraph line 74
  7. lemma OAI.Problem315.TripleEncoding.graphDegree_centerGraph line 79
  8. lemma OAI.Problem315.TripleEncoding.edgeCount_missingVertexGraph line 84
  9. lemma OAI.Problem315.TripleEncoding.edgeCount_centerGraph line 88
  10. lemma OAI.Problem315.TripleEncoding.missingVertexGraph_injective line 92
  11. lemma OAI.Problem315.TripleEncoding.centerGraph_injective line 99
  12. lemma OAI.Problem315.TripleEncoding.exists_missingVertexGraph_of_edgeCount_one line 107
  13. lemma OAI.Problem315.TripleEncoding.exists_centerGraph_of_edgeCount_two line 125
  14. def OAI.Problem315.TripleEncoding.oneEdgeEquiv line 143
  15. def OAI.Problem315.TripleEncoding.twoEdgeEquiv line 154
  16. abbrev OAI.Problem315.TripleEncoding.BinaryColumn line 165
  17. def OAI.Problem315.TripleEncoding.omittedColumn line 168
  18. def OAI.Problem315.TripleEncoding.markedColumn line 171
  19. lemma OAI.Problem315.TripleEncoding.sum_omittedColumn line 174
  20. lemma OAI.Problem315.TripleEncoding.sum_markedColumn line 189
  21. lemma OAI.Problem315.TripleEncoding.omittedColumn_injective line 192
  22. lemma OAI.Problem315.TripleEncoding.markedColumn_injective line 198
  23. lemma OAI.Problem315.TripleEncoding.exists_omittedColumn line 204
  24. lemma OAI.Problem315.TripleEncoding.exists_markedColumn line 232
  25. def OAI.Problem315.TripleEncoding.omittedColumnEquiv line 260
  26. def OAI.Problem315.TripleEncoding.markedColumnEquiv line 269
  27. def OAI.Problem315.TripleEncoding.oneEdgeColumnEquiv line 278
  28. def OAI.Problem315.TripleEncoding.twoEdgeColumnEquiv line 282
  29. lemma OAI.Problem315.TripleEncoding.oneEdgeEquiv_graph line 286
  30. lemma OAI.Problem315.TripleEncoding.twoEdgeEquiv_graph line 290
  31. lemma OAI.Problem315.TripleEncoding.oneEdgeColumnEquiv_value line 294
  32. lemma OAI.Problem315.TripleEncoding.twoEdgeColumnEquiv_value line 301
  33. lemma OAI.Problem315.TripleEncoding.twoEdgeColumnEquiv_degree line 308
  34. lemma OAI.Problem315.TripleEncoding.edgeCount_le_three line 315
  35. lemma OAI.Problem315.TripleEncoding.sum_graphDegree_eq line 319
  36. lemma OAI.Problem315.TripleEncoding.eq_bot_of_edgeCount_zero line 326
  37. lemma OAI.Problem315.TripleEncoding.eq_top_of_edgeCount_three line 337
  38. lemma OAI.Problem315.TripleEncoding.graphDegree_of_edgeCount_zero line 348
  39. lemma OAI.Problem315.TripleEncoding.graphDegree_of_edgeCount_three line 353