OAI/Computability/MinUncut/Search/FiniteEnumeration.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MinUncut.Enumeration line 10
  2. def OAI.MinUncut.Enumeration.ofList line 18
  3. def OAI.MinUncut.Enumeration.encoding line 23
  4. def OAI.MinUncut.Enumeration.ofEncoding line 27
  5. def OAI.MinUncut.Enumeration.image line 32
  6. def OAI.MinUncut.Enumeration.subtype line 35
  7. def OAI.MinUncut.Enumeration.sigma line 44
  8. def OAI.MinUncut.Enumeration.pair line 50
  9. def OAI.MinUncut.Enumeration.function line 53
  10. lemma OAI.MinUncut.Enumeration.length_values line 56
  11. lemma OAI.MinUncut.Enumeration.prod_values line 61
  12. lemma OAI.MinUncut.Enumeration.sum_values line 67