OAI/Computability/MinUncut/Machines/FiniteAlphabetBounds.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Outer.secondSlot_card_le line 14
2. lemma OAI.MinUncut.Outer.secondAlphabet_card_le line 17
3. lemma OAI.MinUncut.Outer.alphabet_card_le line 24
4. lemma OAI.MinUncut.Outer.firstAlphabet_card_le line 28
5. lemma OAI.MinUncut.Outer.familyAlphabet_card_le line 35
6. lemma OAI.MinUncut.Outer.forms_card_le line 41
7. def OAI.MinUncut.Outer.faceCardBound line 46
8. lemma OAI.MinUncut.Outer.faceArray_card_le line 48
9. lemma OAI.MinUncut.Outer.equation_card line 54
10. lemma OAI.MinUncut.Outer.familyQuestion_card line 60
11. lemma OAI.MinUncut.Outer.familyVariable_card_le line 65