OAI/GroupTheory/SimpleAmenable/Homology/PolygonHomologyAction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_fix_outside line 18
2. theorem OAI.SimpleAmenable.PolygonTracks.conjugate_stabilize_eq line 25
3. def OAI.SimpleAmenable.PolygonTracks.fullConjugation line 50
4. theorem OAI.SimpleAmenable.PolygonTracks.fullConjugation_val line 55
5. theorem OAI.SimpleAmenable.PolygonTracks.conjugation_stabilize_inner line 59
6. theorem OAI.SimpleAmenable.PolygonTracks.mapH2_fullConjugation_comp_stabilize line 70
7. theorem OAI.SimpleAmenable.PolygonTracks.mapH2_fullConjugation_eq_id_of_surjective line 78