OAI/Computability/PerfectCompleteness/Sampling/WholeArrayExteriorLaw.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.PerfectCompleteness.WholeArrayExteriorLaw.exteriorFintype line 19
  2. abbrev OAI.PerfectCompleteness.WholeArrayExteriorLaw.NonRoot line 26
  3. def OAI.PerfectCompleteness.WholeArrayExteriorLaw.children line 29
  4. def OAI.PerfectCompleteness.WholeArrayExteriorLaw.nodeArray line 38
  5. theorem OAI.PerfectCompleteness.WholeArrayExteriorLaw.nodeArray_evaluate line 46
  6. def OAI.PerfectCompleteness.WholeArrayExteriorLaw.exterior line 61
  7. def OAI.PerfectCompleteness.WholeArrayExteriorLaw.readExterior line 69
  8. theorem OAI.PerfectCompleteness.WholeArrayExteriorLaw.exterior_read_splitRoot line 77
  9. def OAI.PerfectCompleteness.WholeArrayExteriorLaw.exteriorLaw line 90
  10. theorem OAI.PerfectCompleteness.WholeArrayExteriorLaw.split_exterior_law line 96