OAI/Computability/StarHeight/OriginBounds.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralizedStarHeight.OuterStream.Cuts.multiple line 26
2. lemma OAI.GeneralizedStarHeight.OuterStream.available_guard line 32
3. lemma OAI.GeneralizedStarHeight.OuterStream.net_displacement line 71
4. lemma OAI.GeneralizedStarHeight.OuterStream.available_main line 82
5. lemma OAI.GeneralizedStarHeight.OuterStream.available_periodic line 194
6. lemma OAI.GeneralizedStarHeight.ExceptionalOrigins.Parameters.residue_cast line 263
7. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.earlyLast_nonneg line 281
8. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.offset_envelope line 285
9. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.cut_bounds line 295
10. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.shifted_inner_visible line 310
11. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.main_prefix_visible line 325
12. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.main_suffix_visible line 344
13. lemma OAI.GeneralizedStarHeight.SourceSchedule.Early.periodic_prefix_visible line 366