OAI/Combinatorics/MatchingPSD/AdmissibleTables.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingSmoothing.colorEquiv line 13
  2. lemma OAI.MatchingSmoothing.colorEquiv_spec line 19
  3. def OAI.MatchingSmoothing.typePair line 24
  4. abbrev OAI.MatchingSmoothing.TypedEdges line 25
  5. def OAI.MatchingSmoothing.edgeColor line 26
  6. def OAI.MatchingSmoothing.endpointSizes line 29
  7. lemma OAI.MatchingSmoothing.edgeColor_histogram line 32
  8. lemma OAI.MatchingSmoothing.edgeColor_cross line 39
  9. lemma OAI.MatchingSmoothing.exists_pairing_of_endpoints line 46
  10. abbrev OAI.MatchingSmoothing.TripleVertices line 56
  11. def OAI.MatchingSmoothing.tripleColor line 57
  12. lemma OAI.MatchingSmoothing.tripleColor_histogram line 60
  13. lemma OAI.MatchingSmoothing.triple_card line 67
  14. def OAI.MatchingSmoothing.tripleEquiv line 72
  15. lemma OAI.MatchingSmoothing.triple_histogram_pos line 78