OAI/Computability/MinUncut/Encoding/UniformEncoding.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MinUncut.Preprocess.UEncoding line 12
  2. def OAI.MinUncut.Preprocess.UEncoding.prod line 19
  3. def OAI.MinUncut.Preprocess.UEncoding.function line 23
  4. def OAI.MinUncut.Preprocess.UEncoding.Map line 27
  5. lemma OAI.MinUncut.Preprocess.UEncoding.map_id line 30
  6. lemma OAI.MinUncut.Preprocess.UEncoding.map_comp line 33
  7. lemma OAI.MinUncut.Preprocess.UEncoding.prod_code line 40
  8. lemma OAI.MinUncut.Preprocess.UEncoding.map_pair line 46
  9. lemma OAI.MinUncut.Preprocess.UEncoding.map_fst line 58
  10. lemma OAI.MinUncut.Preprocess.UEncoding.map_snd line 66
  11. lemma OAI.MinUncut.Preprocess.UEncoding.function_digit line 73
  12. lemma OAI.MinUncut.Preprocess.UEncoding.map_apply line 81
  13. lemma OAI.MinUncut.Preprocess.UEncoding.function_number line 95
  14. lemma OAI.MinUncut.Preprocess.UEncoding.finRange_values line 99
  15. lemma OAI.MinUncut.Preprocess.UEncoding.map_lambda line 105