OAI/Geometry/PeriodicTiling/FinitePairCounting.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PeriodicTilingThree.allBadAssignments line 21
  2. theorem OAI.PeriodicTilingThree.mem_allBadAssignments line 28
  3. abbrev OAI.PeriodicTilingThree.Outside line 35
  4. def OAI.PeriodicTilingThree.vertexDecomposition line 38
  5. theorem OAI.PeriodicTilingThree.vertexDecomposition_inl line 44
  6. theorem OAI.PeriodicTilingThree.outside_card line 47
  7. def OAI.PeriodicTilingThree.edgeAssignmentEquiv line 54
  8. def OAI.PeriodicTilingThree.assignmentDecomposition line 65
  9. theorem OAI.PeriodicTilingThree.assignmentDecomposition_apply line 71
  10. def OAI.PeriodicTilingThree.constrainedProductEquiv line 76
  11. def OAI.PeriodicTilingThree.badAssignmentEquiv line 83
  12. theorem OAI.PeriodicTilingThree.allBadAssignments_card line 90
  13. theorem OAI.PeriodicTilingThree.allBadAssignments_card_le line 108