OAI/Computability/Superstring/LayerBridge.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Superstring.ThreadArray.layerWord line 9
  2. def OAI.Superstring.ThreadArray.layerExits line 10
  3. theorem OAI.Superstring.ThreadArray.poly_layerWord line 13
  4. theorem OAI.Superstring.ThreadArray.poly_layerExits line 15
  5. theorem OAI.Superstring.ThreadArray.length_layerWord line 22
  6. theorem OAI.Superstring.ThreadArray.text_layerWord line 30
  7. theorem OAI.Superstring.ThreadArray.exit_layerExits line 47
  8. abbrev OAI.Superstring.LayerArray.GroupData line 63
  9. def OAI.Superstring.LayerArray.turn line 64
  10. structure OAI.Superstring.LayerArray.Represents line 66
  11. theorem OAI.Superstring.LayerArray.turn_spec line 72
  12. def OAI.Superstring.LayerArray.saturate line 87
  13. theorem OAI.Superstring.LayerArray.saturate_spec line 90
  14. theorem OAI.Superstring.LayerArray.poly_turn line 114
  15. theorem OAI.Superstring.LayerArray.poly_indexturn line 118
  16. theorem OAI.Superstring.LayerArray.poly_saturate line 123
  17. def OAI.Superstring.LayerArray.phaseContent line 140
  18. def OAI.Superstring.LayerArray.content line 144
  19. theorem OAI.Superstring.LayerArray.mem_phaseContent line 147
  20. theorem OAI.Superstring.LayerArray.mem_content line 168
  21. theorem OAI.Superstring.LayerArray.poly_phaseContent line 198
  22. theorem OAI.Superstring.LayerArray.poly_content line 205