OAI/Combinatorics/MatchingCount/Graphs/TreeCycleTable.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.TreeTyped.SparseProgram.PairState line 12
2. abbrev OAI.MatchingFPRAS.TreeTyped.SparseProgram.CycleInput line 13
3. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.exchange line 15
4. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.exchangeRealizer line 16
5. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_exchange line 20
6. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycle line 27
7. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycleRealizer line 31
8. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_cycle line 40
9. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycleTable line 52
10. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycleTableRealizer line 55
11. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_cycleTable line 62
12. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairRepr line 78
13. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycle_eq line 82
14. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.cycleTable_eq line 90