OAI/Computability/MinUncut/Search/SampleEnumeration.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Outer.SampleEnumeration.fin line 15
  2. def OAI.MinUncut.Outer.SampleEnumeration.field line 16
  3. def OAI.MinUncut.Outer.SampleEnumeration.point line 18
  4. def OAI.MinUncut.Outer.SampleEnumeration.row line 19
  5. def OAI.MinUncut.Outer.SampleEnumeration.code line 25
  6. abbrev OAI.MinUncut.Outer.SampleEnumeration.Slots line 34
  7. def OAI.MinUncut.Outer.SampleEnumeration.slots line 37
  8. def OAI.MinUncut.Outer.SampleEnumeration.formsPiEquiv line 40
  9. def OAI.MinUncut.Outer.SampleEnumeration.formsCurryEquiv line 45
  10. def OAI.MinUncut.Outer.SampleEnumeration.formsEquiv line 51
  11. def OAI.MinUncut.Outer.SampleEnumeration.forms line 59
  12. def OAI.MinUncut.Outer.SampleEnumeration.arrays line 62
  13. def OAI.MinUncut.Outer.SampleEnumeration.coordinates line 65
  14. def OAI.MinUncut.Outer.SampleEnumeration.localSample line 68
  15. def OAI.MinUncut.Outer.SampleEnumeration.finsets line 74
  16. def OAI.MinUncut.Outer.SampleEnumeration.fixedSets line 82
  17. def OAI.MinUncut.Outer.SampleEnumeration.outerSample line 85
  18. def OAI.MinUncut.Outer.SampleEnumeration.second line 97
  19. lemma OAI.MinUncut.Outer.SampleEnumeration.second_eq line 101
  20. def OAI.MinUncut.Outer.SampleEnumeration.semanticLocal line 106
  21. def OAI.MinUncut.Outer.SampleEnumeration.elementary line 116
  22. def OAI.MinUncut.Outer.SampleEnumeration.tests line 120
  23. def OAI.MinUncut.Outer.SampleEnumeration.all line 123