OAI/Computability/MinUncut/Machines/UniformDemandAlphabet.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Preprocess.Alphabet.triples line 17
  2. def OAI.MinUncut.Preprocess.Alphabet.ambient line 18
  3. def OAI.MinUncut.Preprocess.Alphabet.positionsList line 19
  4. def OAI.MinUncut.Preprocess.Alphabet.rhs line 20
  5. def OAI.MinUncut.Preprocess.Alphabet.equalities line 21
  6. def OAI.MinUncut.Preprocess.Alphabet.signatures line 22
  7. lemma OAI.MinUncut.Preprocess.Alphabet.signatures_encoding line 24
  8. lemma OAI.MinUncut.Preprocess.Alphabet.ambient_encoding line 25
  9. lemma OAI.MinUncut.Preprocess.Alphabet.map_rhs line 26
  10. lemma OAI.MinUncut.Preprocess.Alphabet.map_same line 30
  11. lemma OAI.MinUncut.Preprocess.Alphabet.map_origin line 34
  12. lemma OAI.MinUncut.Preprocess.Alphabet.map_zeroLabel line 41
  13. lemma OAI.MinUncut.Preprocess.Alphabet.map_slotCoords line 47
  14. lemma OAI.MinUncut.Preprocess.Alphabet.projectSlot_apply line 50
  15. lemma OAI.MinUncut.Preprocess.Alphabet.map_slotAxis line 53
  16. lemma OAI.MinUncut.Preprocess.Alphabet.map_slotPosition line 56
  17. lemma OAI.MinUncut.Preprocess.Alphabet.map_projectEval line 60
  18. lemma OAI.MinUncut.Preprocess.Alphabet.map_project line 77
  19. lemma OAI.MinUncut.Preprocess.Alphabet.map_decode line 85
  20. lemma OAI.MinUncut.Preprocess.Alphabet.map_valid line 90