OAI/GroupTheory/SimpleAmenable/Homology/PermutationAugmentation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.TransitiveInduction.augmentation line 12
2. lemma OAI.SimpleAmenable.TransitiveInduction.augmentation_single line 24
3. lemma OAI.SimpleAmenable.TransitiveInduction.augmentation_natural line 27
4. lemma OAI.SimpleAmenable.TransitiveInduction.augmentation_pointMap line 36
5. lemma OAI.SimpleAmenable.TransitiveInduction.isIso_H0_augmentation line 47
6. lemma OAI.SimpleAmenable.TransitiveInduction.map_equivariant_H0_eq line 54