OAI/Computability/StarHeight/StreamTranslation.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralizedStarHeight.ObservedMain.prefix_shift line 19
2. lemma OAI.GeneralizedStarHeight.ObservedMain.suffix_shift line 40
3. lemma OAI.GeneralizedStarHeight.OuterStream.search_shift line 73
4. lemma OAI.GeneralizedStarHeight.OuterStream.snapshot_shift line 79
5. lemma OAI.GeneralizedStarHeight.OuterStream.update_shift line 85
6. lemma OAI.GeneralizedStarHeight.OuterStream.prefix_shift line 91
7. lemma OAI.GeneralizedStarHeight.OuterStream.origins_shift line 113
8. lemma OAI.GeneralizedStarHeight.OuterStream.suffixAnchor_shift line 121
9. lemma OAI.GeneralizedStarHeight.OuterStream.suffix_shift line 127
10. lemma OAI.GeneralizedStarHeight.InnerStream.hypothetical_shift line 168
11. lemma OAI.GeneralizedStarHeight.InnerStream.update_shift line 177
12. lemma OAI.GeneralizedStarHeight.InnerStream.prefix_shift line 188
13. lemma OAI.GeneralizedStarHeight.InnerStream.suffix_shift line 197
14. def OAI.GeneralizedStarHeight.WordIntervals.stream line 221
15. lemma OAI.GeneralizedStarHeight.WordIntervals.stream_realizes line 224
16. lemma OAI.GeneralizedStarHeight.WordIntervals.Realizes.same line 227
17. lemma OAI.GeneralizedStarHeight.WordIntervals.Realizes.pair_prefix line 231