OAI/GroupTheory/SimpleAmenable/Homology/TranslationCoefficients.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.LabelledStage.stepTranslate line 13
2. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.stepTranslate_apply line 18
3. def OAI.SimpleAmenable.PolygonObject.LabelledStage.translateCoefficients line 21
4. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.translateCoefficients_single line 23
5. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.translateCoefficients_at line 26
6. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.translation_evaluation_homology line 48
7. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.homologyCoefficientIso_translate_point line 53
8. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.homologyCoefficientIso_translate line 62