OAI/Combinatorics/MatchingPSD/PartialColorings.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingSmoothing.swap_preserves_color line 13
2. lemma OAI.MatchingSmoothing.swap_fixes_finset line 22
3. lemma OAI.MatchingSmoothing.exists_color_perm_fixing_pair line 27
4. def OAI.MatchingSmoothing.tableCoordinate line 60
5. lemma OAI.MatchingSmoothing.tableCoordinate_invariant line 63
6. def OAI.MatchingSmoothing.candidateEdges line 74
7. lemma OAI.MatchingSmoothing.mem_candidateEdges line 77
8. lemma OAI.MatchingSmoothing.candidate_average_eq line 82
9. lemma OAI.MatchingSmoothing.candidate_sum line 98
10. lemma OAI.MatchingSmoothing.monomial_candidate_identity line 122