OAI/Geometry/PeriodicTiling/WordRule.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PeriodicTilingThree.Column line 10
  2. abbrev OAI.PeriodicTilingThree.Symbol line 11
  3. abbrev OAI.PeriodicTilingThree.Word line 12
  4. abbrev OAI.PeriodicTilingThree.WordArray line 13
  5. abbrev OAI.PeriodicTilingThree.Channel line 14
  6. def OAI.PeriodicTilingThree.Label line 16
  7. instance OAI.PeriodicTilingThree.instFintypeLabel line 20
  8. instance OAI.PeriodicTilingThree.instDecidableEqLabel line 23
  9. instance OAI.PeriodicTilingThree.instInhabitedLabel line 26
  10. def OAI.PeriodicTilingThree.Allowed line 29
  11. def OAI.PeriodicTilingThree.LineRule line 38
  12. def OAI.PeriodicTilingThree.NonconstantColumns line 41
  13. def OAI.PeriodicTilingThree.VerticalPeriod line 44
  14. def OAI.PeriodicTilingThree.affineValue line 47
  15. def OAI.PeriodicTilingThree.AffineApproximation line 50
  16. def OAI.PeriodicTilingThree.lineValue line 55
  17. def OAI.PeriodicTilingThree.lineKernelStep line 58
  18. theorem OAI.PeriodicTilingThree.lineValue_vertical line 61
  19. def OAI.PeriodicTilingThree.allowedWords line 65
  20. theorem OAI.PeriodicTilingThree.mem_allowedWords line 69