OAI/GroupTheory/SimpleAmenable/Configurations/PolygonGrid.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SimpleAmenable.PolygonGrid.PlaneTracks line 15
  2. abbrev OAI.SimpleAmenable.PolygonGrid.Index line 16
  3. def OAI.SimpleAmenable.PolygonGrid.μ line 17
  4. def OAI.SimpleAmenable.PolygonGrid.interval line 18
  5. def OAI.SimpleAmenable.PolygonGrid.cell line 19
  6. def OAI.SimpleAmenable.PolygonGrid.region line 21
  7. theorem OAI.SimpleAmenable.PolygonGrid.measurable_cell line 24
  8. theorem OAI.SimpleAmenable.PolygonGrid.volume_cell line 27
  9. theorem OAI.SimpleAmenable.PolygonGrid.cells_disjoint line 32
  10. theorem OAI.SimpleAmenable.PolygonGrid.cell_dist line 53
  11. theorem OAI.SimpleAmenable.PolygonGrid.region_covered line 64
  12. theorem OAI.SimpleAmenable.PolygonGrid.volume_cells line 81
  13. theorem OAI.SimpleAmenable.PolygonGrid.matching_of_volume line 87