OAI/GroupTheory/SimpleAmenable/PolygonGeometry/RoutingIndependence.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.orderedOffsets line 11
2. theorem OAI.SimpleAmenable.orderedOffsets_apply line 15
3. structure OAI.SimpleAmenable.InitialCoverSystem.SlotRouting line 25
4. theorem OAI.SimpleAmenable.InitialCoverSystem.slotRouting_nonempty line 42
5. def OAI.SimpleAmenable.InitialCoverSystem.SlotRouting.star line 83
6. theorem OAI.SimpleAmenable.InitialCoverSystem.SlotRouting.aligned_transport line 90
7. theorem OAI.SimpleAmenable.InitialCoverSystem.SlotRouting.independent line 150