OAI/GroupTheory/SimpleAmenable/CentralCovers/GeometricSectors.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.actualPolygonTableHom_resolved line 16
2. theorem OAI.SimpleAmenable.actualAlphabetTableHom_resolved line 35
3. def OAI.SimpleAmenable.InitialCoverSystem.geometricSector line 50
4. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_projection line 57
5. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_mem line 68
6. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_aligned line 76
7. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_commute line 84
8. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_union line 93
9. theorem OAI.SimpleAmenable.InitialCoverSystem.primitiveFamily_range_reindex line 109
10. theorem OAI.SimpleAmenable.InitialCoverSystem.geometricSector_reindex line 120