OAI/GroupTheory/SimpleAmenable/Homology/TrajectoryTensor.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.tensorEquiv_translation line 13
2. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.tensorEquiv_symm_translation line 32
3. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.stepTranslate_zero line 38