OAI/GroupTheory/SimpleAmenable/Configurations/StageBinary.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.GroupNerveCoordinates.zero_subsingleton line 12
2. instance OAI.GroupNerveCoordinates.connected line 14
3. def OAI.SimpleAmenable.PolygonTracks.stageTranslate line 26
4. lemma OAI.SimpleAmenable.PolygonTracks.stageTranslate_H1_iso line 30
5. def OAI.SimpleAmenable.PolygonTracks.fixedToStage line 41
6. lemma OAI.SimpleAmenable.PolygonTracks.fixedToStage_H1_iso line 44
7. def OAI.SimpleAmenable.PolygonTracks.fixedToStageGlobal line 54
8. lemma OAI.SimpleAmenable.PolygonTracks.stage_pullD line 60
9. def OAI.SimpleAmenable.PolygonTracks.mixedImage line 71
10. lemma OAI.SimpleAmenable.PolygonTracks.stage_value_mem line 76