OAI/GroupTheory/SimpleAmenable/Configurations/TranslationFiber.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.backPoint line 14
2. lemma OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translated_predicate line 16
3. def OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translateFiber line 34
4. lemma OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translateFiber_val line 37
5. lemma OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translateFiber_natural line 39
6. def OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translationEvaluationIso line 48
7. lemma OAI.SimpleAmenable.PolygonObject.Labelled.PointFiber.translationEvaluationIso_enum line 64