OAI/Combinatorics/ParityLifts/DataPrograms.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.Complexity.list_fold_map_context line 7
2. def OAI.ParityWL.Complexity.PolyProgram.mapWith line 15
3. def OAI.ParityWL.Complexity.PolyProgram.any line 71
4. def OAI.ParityWL.Complexity.PolyProgram.all line 88
5. def OAI.ParityWL.Complexity.numTree line 98
6. lemma OAI.ParityWL.Complexity.numTree_size line 102
7. lemma OAI.ParityWL.Complexity.numTree_injective line 107
8. instance OAI.ParityWL.Complexity.(instance at line 113) line 113
9. instance OAI.ParityWL.Complexity.(instance at line 114) line 114
10. lemma OAI.ParityWL.Complexity.treeEncode_nat line 117
11. lemma OAI.ParityWL.Complexity.treeEncode_fin line 118
12. instance OAI.ParityWL.Complexity.(instance at line 120) line 120
13. lemma OAI.ParityWL.Complexity.treeEncode_fn_zero line 127
14. lemma OAI.ParityWL.Complexity.treeEncode_fn_succ line 130
15. lemma OAI.ParityWL.Complexity.treeEncode_fn_size line 136
16. def OAI.ParityWL.Complexity.TExpr.nth line 145
17. lemma OAI.ParityWL.Complexity.TExpr.nth_eval line 150
18. def OAI.ParityWL.Complexity.TExpr.caseFin line 161
19. lemma OAI.ParityWL.Complexity.TExpr.caseFin_eval line 165
20. def OAI.ParityWL.Complexity.TExpr.tuple line 180
21. lemma OAI.ParityWL.Complexity.TExpr.tuple_eval line 184