OAI/GroupTheory/SimpleAmenable/CentralCovers/RectangularAtlas.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SimpleAmenable.InitialCoverSystem.RectangularAtlas line 19
2. def OAI.SimpleAmenable.InitialCoverSystem.RectangularAtlas.slope line 41
3. theorem OAI.SimpleAmenable.InitialCoverSystem.RectangularAtlas.slope_line_action line 45
4. theorem OAI.SimpleAmenable.rectangularAtlas_eventually line 77