OAI/Geometry/PeriodicTiling/EncodedSystem.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PeriodicTilingThree.testTiles line 12
  2. theorem OAI.PeriodicTilingThree.mem_testTiles_iff line 18
  3. theorem OAI.PeriodicTilingThree.kernelTile_mem_testTiles line 27
  4. theorem OAI.PeriodicTilingThree.dependenceTiles_subset_testTiles line 30
  5. theorem OAI.PeriodicTilingThree.wordConstraintTiles_subset_testTiles line 34
  6. theorem OAI.PeriodicTilingThree.seedConstraintTiles_subset_testTiles line 38
  7. theorem OAI.PeriodicTilingThree.ordinaryActivationTile_mem_testTiles line 42
  8. theorem OAI.PeriodicTilingThree.seedActivationTile_mem_testTiles line 47
  9. theorem OAI.PeriodicTilingThree.testTiles_nonempty line 52
  10. theorem OAI.PeriodicTilingThree.nonempty_of_mem_testTiles line 55
  11. def OAI.PeriodicTilingThree.Solves line 67
  12. theorem OAI.PeriodicTilingThree.solves_iff line 70
  13. abbrev OAI.PeriodicTilingThree.TestIndex line 94
  14. def OAI.PeriodicTilingThree.testTile line 96
  15. theorem OAI.PeriodicTilingThree.testTile_nonempty line 98
  16. instance OAI.PeriodicTilingThree.testIndex_nonempty line 101
  17. theorem OAI.PeriodicTilingThree.solves_iff_index line 104
  18. theorem OAI.PeriodicTilingThree.exists_graph_of_solves line 112