OAI/Computability/PerfectCompleteness/Foundations/TriangularFolding.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.TriangularFolding.translate line 16
  2. theorem OAI.PerfectCompleteness.TriangularFolding.translate_first line 22
  3. theorem OAI.PerfectCompleteness.TriangularFolding.translate_second line 25
  4. def OAI.PerfectCompleteness.TriangularFolding.shifted line 28
  5. theorem OAI.PerfectCompleteness.TriangularFolding.shifted_kernel line 30
  6. theorem OAI.PerfectCompleteness.TriangularFolding.key_shifted line 34
  7. def OAI.PerfectCompleteness.TriangularFolding.shiftLabel line 39
  8. theorem OAI.PerfectCompleteness.TriangularFolding.restore_shiftLabel line 44
  9. def OAI.PerfectCompleteness.TriangularFolding.displayedTranslate line 51
  10. theorem OAI.PerfectCompleteness.TriangularFolding.key_displayedTranslate line 58
  11. def OAI.PerfectCompleteness.TriangularFolding.quadraticValue line 71
  12. def OAI.PerfectCompleteness.TriangularFolding.quadraticFunction line 74
  13. theorem OAI.PerfectCompleteness.TriangularFolding.quadraticFunction_apply line 77
  14. theorem OAI.PerfectCompleteness.TriangularFolding.quadraticFunction_mem_squareSpace line 82
  15. theorem OAI.PerfectCompleteness.TriangularFolding.quadratic_descendant_mem line 94