OAI/Computability/StarHeight/EpisodeHeight.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.clock_period line 21
2. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.episode_last line 24
3. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.episode_visible line 38
4. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.episode_inner_start line 50
5. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.inner_graph_height line 84
6. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.failed_outer_graph_height line 129
7. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.outer_graph_height line 150
8. lemma OAI.GeneralizedStarHeight.CanonicalEpisodes.Parameters.remainder_fiber_height line 189
9. theorem OAI.GeneralizedStarHeight.SourceSchedule.episode_linear_graphs line 208