OAI/Computability/StarHeight/Height.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.mono line 16
2. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.zero line 20
3. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.one line 23
4. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.letter line 26
5. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.union line 29
6. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.concat line 35
7. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.compl line 41
8. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.inter line 45
9. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.star line 54
10. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.finset_iSup line 58
11. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.iSup line 71
12. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.singleton line 77
13. lemma OAI.GeneralizedStarHeight.HasHeightAtMost.finite line 91