OAI/GroupTheory/SimpleAmenable/CentralCovers/AlignedPolygonGeneration.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.polygonAlignedGroup line 17
  2. theorem OAI.SimpleAmenable.fiveTrack_support_subset line 23
  3. theorem OAI.SimpleAmenable.fiveTrack_initial_aligned line 33
  4. theorem OAI.SimpleAmenable.fiveTrack_translate_aligned line 41
  5. def OAI.SimpleAmenable.fiveTrackAlignedBoolean line 61
  6. theorem OAI.SimpleAmenable.fiveTrackAlignedBoolean_initial line 66
  7. theorem OAI.SimpleAmenable.fiveTrackAlignedBoolean_translate line 70
  8. theorem OAI.SimpleAmenable.fiveTrackAlignedBoolean_coordinate line 78
  9. theorem OAI.SimpleAmenable.fiveTrack_polygon_aligned line 87