OAI/Combinatorics/TreeEdit/WordOperations.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TreeEdit.EditStep.map line 15
2. lemma OAI.TreeEdit.EditScript.map line 26
3. lemma OAI.TreeEdit.ed_map line 34
4. lemma OAI.TreeEdit.ed_flatten_ofFn line 37
5. lemma OAI.TreeEdit.Words.ofFn_get line 49
6. lemma OAI.TreeEdit.Words.cycles_val line 53
7. lemma OAI.TreeEdit.Words.ed_cycles line 96
8. lemma OAI.TreeEdit.sublist_ofFn_embedding line 109
9. lemma OAI.TreeEdit.length_flatten_ofFn line 117
10. lemma OAI.TreeEdit.ed_shifted_flatten line 121
11. lemma OAI.TreeEdit.Words.ed_cycles_shift line 151