OAI/Computability/StarHeight/SplitLanguages.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralizedStarHeight.OuterStream.word_pair line 23
2. lemma OAI.GeneralizedStarHeight.OuterStream.word_sound line 37
3. lemma OAI.GeneralizedStarHeight.OuterStream.word_available line 78
4. lemma OAI.GeneralizedStarHeight.InnerStream.word_pair line 120
5. lemma OAI.GeneralizedStarHeight.InnerStream.block_bounds line 135
6. lemma OAI.GeneralizedStarHeight.InnerStream.word_sound line 145
7. lemma OAI.GeneralizedStarHeight.InnerStream.word_available line 210
8. lemma OAI.GeneralizedStarHeight.EpisodeAlgebra.updateWord_congr line 249
9. lemma OAI.GeneralizedStarHeight.EpisodeAlgebra.graph_congr line 258
10. lemma OAI.GeneralizedStarHeight.EpisodeAlgebra.updateWord_embed line 265
11. lemma OAI.GeneralizedStarHeight.EpisodeAlgebra.graph_embed line 275
12. def OAI.GeneralizedStarHeight.OuterStream.wordShift line 296
13. lemma OAI.GeneralizedStarHeight.OuterStream.wordUpdate_affine line 301
14. def OAI.GeneralizedStarHeight.InnerStream.wordLinear line 325
15. def OAI.GeneralizedStarHeight.InnerStream.wordShift line 329
16. lemma OAI.GeneralizedStarHeight.InnerStream.wordUpdate_affine line 333
17. lemma OAI.GeneralizedStarHeight.InnerStream.wordLinear_lift line 341
18. lemma OAI.GeneralizedStarHeight.InnerStream.linear_graph_recovery line 359