OAI/GroupTheory/SimpleAmenable/Configurations/LabelTranslation.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.Labelled.translateObj line 10
2. abbrev OAI.SimpleAmenable.PolygonObject.Labelled.translateArrow line 14
3. def OAI.SimpleAmenable.PolygonObject.Labelled.translateHom line 16
4. def OAI.SimpleAmenable.PolygonObject.Labelled.translateFunctor line 28
5. def OAI.SimpleAmenable.PolygonObject.Labelled.translationIso line 40
6. def OAI.SimpleAmenable.PolygonObject.Labelled.translationCore line 48
7. lemma OAI.SimpleAmenable.PolygonObject.Labelled.translationCore_unit line 50
8. lemma OAI.SimpleAmenable.PolygonObject.Labelled.translationCore_tensor line 52
9. def OAI.SimpleAmenable.PolygonObject.Labelled.translationUnit line 63
10. def OAI.SimpleAmenable.PolygonObject.Labelled.translationTensor line 67
11. lemma OAI.SimpleAmenable.PolygonObject.Labelled.translationTensor_arrow line 95
12. lemma OAI.SimpleAmenable.PolygonObject.Labelled.translationUnit_arrow line 98
13. instance OAI.SimpleAmenable.PolygonObject.Labelled.translationMonoidal line 100
14. instance OAI.SimpleAmenable.PolygonObject.Labelled.translationBraided line 141