OAI/Combinatorics/ParityLifts/Degree.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.Complexity.PolyProgram.comp_degree line 7
2. lemma OAI.ParityWL.Complexity.PolyProgram.pair_degree line 11
3. lemma OAI.ParityWL.Complexity.PolyProgram.ite_degree line 15
4. lemma OAI.ParityWL.Complexity.PolyProgram.const_degree line 20
5. lemma OAI.ParityWL.Complexity.PolyProgram.id_degree line 22
6. lemma OAI.ParityWL.Complexity.PolyProgram.fst_degree line 23
7. lemma OAI.ParityWL.Complexity.PolyProgram.snd_degree line 24
8. lemma OAI.ParityWL.Complexity.PolyProgram.expr_degree line 25
9. lemma OAI.ParityWL.Complexity.PolyProgram.equal_degree line 28
10. lemma OAI.ParityWL.Complexity.PolyProgram.foldlGrowing_degree line 29
11. lemma OAI.ParityWL.Complexity.PolyProgram.foldlBounded_degree line 32
12. lemma OAI.ParityWL.Complexity.PolyProgram.map_degree_eq line 36
13. lemma OAI.ParityWL.Complexity.PolyProgram.mapWith_degree_eq line 42
14. lemma OAI.ParityWL.Complexity.PolyProgram.any_degree_eq line 51
15. lemma OAI.ParityWL.Complexity.PolyProgram.all_degree_eq line 58
16. lemma OAI.ParityWL.Complexity.PolyProgram.filter_degree_eq line 65
17. lemma OAI.ParityWL.Complexity.PolyProgram.tabulate_degree_eq line 73
18. lemma OAI.ParityWL.Complexity.PolyProgram.filterWith_degree_eq line 80