OAI/GroupTheory/SimpleAmenable/Homology/TrajectoryDifferential.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.LabelledStage.coefficientDifferential line 15
2. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.chainCoordinates_d line 18
3. def OAI.SimpleAmenable.PolygonObject.LabelledStage.trajectoryRep line 38
4. def OAI.SimpleAmenable.PolygonObject.LabelledStage.trajectoryRow line 40
5. def OAI.SimpleAmenable.PolygonObject.LabelledStage.rowCoordinateIso line 42
6. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.trajectoryRow_face line 47
7. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.trajectoryRow_d line 50
8. def OAI.SimpleAmenable.PolygonObject.LabelledStage.trajectoryChainIso line 67