OAI/Computability/MatchingCount/MapRoutine.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.StackCode.element_code_le line 10
2. lemma OAI.BinaryMatching.StackCode.list_code_bound line 21
3. lemma OAI.BinaryMatching.StackCode.code_reverse_length line 31
4. lemma OAI.BinaryMatching.StackCode.append_map_fold line 37
5. lemma OAI.BinaryMatching.StackCode.append_fold line 43
6. lemma OAI.BinaryMatching.StackCode.code_flatten_le line 49
7. theorem OAI.BinaryMatching.StackCode.Poly.listMap line 58
8. theorem OAI.BinaryMatching.StackCode.Poly.listFlatten line 91
9. theorem OAI.BinaryMatching.StackCode.Poly.listFlatMap line 107
10. theorem OAI.BinaryMatching.StackCode.Poly.listFilter line 114