OAI/Geometry/PeriodicTiling/SharedSeedLabels.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PeriodicTilingThree.SharedSeed.ActiveOne line 12
  2. def OAI.PeriodicTilingThree.SharedSeed.ActiveTwo line 16
  3. def OAI.PeriodicTilingThree.SharedSeed.firstLabel line 21
  4. def OAI.PeriodicTilingThree.SharedSeed.secondLabel line 26
  5. def OAI.PeriodicTilingThree.SharedSeed.rotateMap line 31
  6. theorem OAI.PeriodicTilingThree.SharedSeed.rotateMap_zero line 37
  7. theorem OAI.PeriodicTilingThree.SharedSeed.rotateMap_add line 41
  8. def OAI.PeriodicTilingThree.SharedSeed.rotate line 46
  9. theorem OAI.PeriodicTilingThree.SharedSeed.rotate_apply line 52
  10. theorem OAI.PeriodicTilingThree.SharedSeed.rotate_zero line 55
  11. theorem OAI.PeriodicTilingThree.SharedSeed.rotate_add line 58
  12. theorem OAI.PeriodicTilingThree.SharedSeed.activeOne_rotate line 61
  13. theorem OAI.PeriodicTilingThree.SharedSeed.activeTwo_rotate line 65
  14. theorem OAI.PeriodicTilingThree.SharedSeed.firstLabel_rotate line 69
  15. theorem OAI.PeriodicTilingThree.SharedSeed.secondLabel_rotate line 76
  16. theorem OAI.PeriodicTilingThree.SharedSeed.rotate_fixed_on_activeOne line 83
  17. theorem OAI.PeriodicTilingThree.SharedSeed.rotate_fixed_on_activeTwo line 90
  18. def OAI.PeriodicTilingThree.SharedSeed.rotation line 97
  19. theorem OAI.PeriodicTilingThree.SharedSeed.rotation_apply line 100
  20. theorem OAI.PeriodicTilingThree.SharedSeed.label_rotation line 104
  21. theorem OAI.PeriodicTilingThree.SharedSeed.rotation_add line 108
  22. def OAI.PeriodicTilingThree.SharedSeed.sharedOutput line 113
  23. theorem OAI.PeriodicTilingThree.SharedSeed.decode_sharedOutput line 117
  24. def OAI.PeriodicTilingThree.SharedSeed.sharedZ line 122
  25. def OAI.PeriodicTilingThree.SharedSeed.commonZ line 127