OAI/GroupTheory/SimpleAmenable/Configurations/CellFunctor.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SimpleAmenable.PolygonObject.Labelled.Cell.object line 14
2. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.pointMap line 16
3. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.arrow line 22
4. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.functor line 26
5. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.arrow_apply line 31
6. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.tensorPoint line 35
7. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.tensorArrow line 52
8. lemma OAI.SimpleAmenable.PolygonObject.Labelled.Cell.tensorArrow_apply line 63
9. def OAI.SimpleAmenable.PolygonObject.Labelled.Cell.unitArrow line 66