OAI/GroupTheory/SimpleAmenable/Homology/PointFiberHomology.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.LabelledStage.pointValue line 15
2. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.homologyCoefficientIso_stage line 27
3. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.homologyCoefficientIso_point line 33
4. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.step line 77
5. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.step_apply line 83
6. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.step_zero line 85
7. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.step_add line 87
8. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.coefficient line 93
9. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.coefficient_apply line 103
10. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.coefficient_ext line 106
11. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.homology_point line 137
12. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.homology_coefficient line 151