OAI/GroupTheory/SimpleAmenable/Configurations/PolygonTrackStabilizer.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.PolygonTracks.join line 17
  2. theorem OAI.SimpleAmenable.PolygonTracks.join_inl line 22
  3. theorem OAI.SimpleAmenable.PolygonTracks.join_inr line 23
  4. theorem OAI.SimpleAmenable.PolygonTracks.join_symm_left line 24
  5. theorem OAI.SimpleAmenable.PolygonTracks.join_symm_right line 26
  6. def OAI.SimpleAmenable.PolygonTracks.blockPerm line 29
  7. theorem OAI.SimpleAmenable.PolygonTracks.blockPerm_left line 33
  8. theorem OAI.SimpleAmenable.PolygonTracks.blockPerm_right line 37
  9. theorem OAI.SimpleAmenable.PolygonTracks.blockPerm_hasTable line 41
  10. def OAI.SimpleAmenable.PolygonTracks.stabilize line 66
  11. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_left line 79
  12. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_right line 81
  13. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_injective line 84
  14. def OAI.SimpleAmenable.PolygonTracks.bankFixer line 95
  15. theorem OAI.SimpleAmenable.PolygonTracks.mem_bankFixer line 106
  16. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_mem_bankFixer line 109
  17. def OAI.SimpleAmenable.PolygonTracks.rightIncl line 120
  18. theorem OAI.SimpleAmenable.PolygonTracks.rightIncl_injective line 123
  19. theorem OAI.SimpleAmenable.PolygonTracks.bankFixer_preserves_right line 130
  20. def OAI.SimpleAmenable.PolygonTracks.rightValue line 143
  21. theorem OAI.SimpleAmenable.PolygonTracks.rightValue_spec line 146
  22. def OAI.SimpleAmenable.PolygonTracks.restrictPerm line 150
  23. theorem OAI.SimpleAmenable.PolygonTracks.restrictPerm_spec line 162
  24. theorem OAI.SimpleAmenable.PolygonTracks.restrictPerm_hasTable line 165
  25. def OAI.SimpleAmenable.PolygonTracks.restrict line 197
  26. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_restrict line 200
  27. theorem OAI.SimpleAmenable.PolygonTracks.restrict_stabilize line 208
  28. def OAI.SimpleAmenable.PolygonTracks.stabilizerEquiv line 213