OAI/GroupTheory/SimpleAmenable/CentralCovers/WholeCoverCentrality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.InitialCoverSystem.initial_input_mem_polygonStars line 22
2. theorem OAI.SimpleAmenable.InitialCoverSystem.uniformSlotTransport_initial line 52
3. theorem OAI.SimpleAmenable.InitialCoverSystem.uniformSlotTransport_lattice line 80
4. theorem OAI.SimpleAmenable.InitialCoverSystem.uniformSlotTransport_all line 103
5. theorem OAI.SimpleAmenable.InitialCoverSystem.coverMap_kernel_central line 119
6. theorem OAI.SimpleAmenable.source_cover_centrality line 150
7. theorem OAI.SimpleAmenable.polygon_central_cover line 165