OAI/GroupTheory/SimpleAmenable/Configurations/PolygonPlacementPermutation.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonPlacement.perm line 19
2. theorem OAI.SimpleAmenable.PolygonPlacement.perm_apply line 22
3. theorem OAI.SimpleAmenable.PolygonPlacement.perm_fixed line 26
4. theorem OAI.SimpleAmenable.PolygonPlacement.perm_hasTable line 32
5. def OAI.SimpleAmenable.PolygonPlacement.permHom line 75
6. theorem OAI.SimpleAmenable.PolygonPlacement.permHom_apply line 94
7. def OAI.SimpleAmenable.PolygonPlacement.familyPerm line 106
8. theorem OAI.SimpleAmenable.PolygonPlacement.familyPerm_apply line 113
9. theorem OAI.SimpleAmenable.PolygonPlacement.exists_configuration_avoiding line 122
10. theorem OAI.SimpleAmenable.PolygonPlacement.swap_configurations line 149
11. theorem OAI.SimpleAmenable.PolygonPlacement.configuration_transitive line 170