OAI/GroupTheory/SimpleAmenable/Homology/TransitiveCanonical.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SimpleAmenable.TransitiveInduction.pointMap_factorization line 11
2. lemma OAI.SimpleAmenable.TransitiveInduction.isIso_map_pointMap line 24
3. def OAI.SimpleAmenable.TransitiveInduction.equivariantMap line 44
4. lemma OAI.SimpleAmenable.TransitiveInduction.equivariantMap_single line 53
5. def OAI.SimpleAmenable.TransitiveInduction.stabilizerMap line 58
6. def OAI.SimpleAmenable.TransitiveInduction.trivialMap line 65
7. lemma OAI.SimpleAmenable.TransitiveInduction.pointMap_natural line 68
8. lemma OAI.SimpleAmenable.TransitiveInduction.isIso_map_trivial_H0 line 82
9. lemma OAI.SimpleAmenable.TransitiveInduction.map_equivariant_eq_of_centralizer line 92
10. lemma OAI.SimpleAmenable.TransitiveInduction.isIso_map_equivariant_H0 line 109