OAI/GroupTheory/SimpleAmenable/Configurations/PolygonAlternatingConfigurations.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonPlacement.bankEmbedding line 19
2. theorem OAI.SimpleAmenable.PolygonPlacement.bankEmbedding_apply line 38
3. theorem OAI.SimpleAmenable.PolygonPlacement.alternating_disjoint_configurations line 42
4. theorem OAI.SimpleAmenable.PolygonPlacement.alternating_configuration_transitive_sharp line 66
5. theorem OAI.SimpleAmenable.PolygonPlacement.Configuration.alternating_transitive line 92
6. theorem OAI.SimpleAmenable.PolygonPlacement.Configuration.alternating_stabilizer_standard line 97
7. def OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingOrbitHomologyIso line 105
8. def OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingRepresentationIso line 112
9. def OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingColumnHomologyIso line 120