OAI/Combinatorics/MatchingCount/Graphs/TreeSwitchRaw.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairSet line 14
2. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairSetRealizer line 15
3. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_pairSet line 18
4. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchEdit line 25
5. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchEditRealizer line 27
6. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_switchEdit line 32
7. abbrev OAI.MatchingFPRAS.TreeTyped.SparseProgram.RawSwitchInput line 40
8. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchList line 41
9. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchListRealizer line 44
10. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_switchList line 52
11. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchRaw line 67
12. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchRawRealizer line 70
13. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_switchRaw line 79
14. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.switchRaw_eq line 95