OAI/GroupTheory/SimpleAmenable/Homology/LabelRelabel.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SimpleAmenable.PolygonObject.Labelled.Reduced line 11
2. def OAI.SimpleAmenable.PolygonObject.Labelled.relabel line 15
3. def OAI.SimpleAmenable.PolygonObject.Labelled.relabelUnit line 20
4. def OAI.SimpleAmenable.PolygonObject.Labelled.relabelTensor line 26
5. instance OAI.SimpleAmenable.PolygonObject.Labelled.relabelMonoidal line 35
6. instance OAI.SimpleAmenable.PolygonObject.Labelled.relabelBraided line 64
7. lemma OAI.SimpleAmenable.PolygonObject.Labelled.relabel_map_arrow line 69
8. lemma OAI.SimpleAmenable.PolygonObject.Labelled.relabel_ε_arrow line 71
9. lemma OAI.SimpleAmenable.PolygonObject.Labelled.relabel_μ_arrow line 72