OAI/Computability/MinUncut/Machines/UniformAlphabet.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MinUncut.Preprocess.Alphabet.Slot line 18
  2. def OAI.MinUncut.Preprocess.Alphabet.axes line 19
  3. def OAI.MinUncut.Preprocess.Alphabet.positions line 20
  4. def OAI.MinUncut.Preprocess.Alphabet.slotPairs line 21
  5. def OAI.MinUncut.Preprocess.Alphabet.slotGood line 22
  6. lemma OAI.MinUncut.Preprocess.Alphabet.slotGood_iff line 24
  7. lemma OAI.MinUncut.Preprocess.Alphabet.map_slotGood line 33
  8. def OAI.MinUncut.Preprocess.Alphabet.slotEquiv line 38
  9. def OAI.MinUncut.Preprocess.Alphabet.slots line 47
  10. def OAI.MinUncut.Preprocess.Alphabet.labelEquiv line 49
  11. def OAI.MinUncut.Preprocess.Alphabet.labels line 55
  12. def OAI.MinUncut.Preprocess.Alphabet.formsEquiv line 57
  13. def OAI.MinUncut.Preprocess.Alphabet.forms line 60
  14. lemma OAI.MinUncut.Preprocess.Alphabet.forms_apply line 64
  15. lemma OAI.MinUncut.Preprocess.Alphabet.map_forms_apply line 81