OAI/GroupTheory/SimpleAmenable/Simplicial/IntervalEssSurj.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.IntervalBar.Diagram.mapEssSurj line 19
2. instance OAI.IntervalBar.Diagram.map₃EssSurj line 29
3. instance OAI.SimpleAmenable.PolygonObject.positional_isIso line 42
4. instance OAI.SimpleAmenable.PolygonObject.positional_groupoid line 49
5. abbrev OAI.SimpleAmenable.PolygonObject.positionalInclusion line 52
6. instance OAI.SimpleAmenable.PolygonObject.positionalInclusionMonoidal line 54
7. instance OAI.SimpleAmenable.PolygonObject.positionalInclusionBraided line 64
8. instance OAI.SimpleAmenable.PolygonObject.positionalInclusionEssSurj line 67
9. abbrev OAI.SimpleAmenable.PolygonObject.TripleBars line 72
10. def OAI.SimpleAmenable.PolygonObject.positionalOneBarMap line 75
11. instance OAI.SimpleAmenable.PolygonObject.positionalOneBarBraided line 79
12. instance OAI.SimpleAmenable.PolygonObject.positionalOneBarEssSurj line 82
13. def OAI.SimpleAmenable.PolygonObject.positionalTwoBarMap line 85
14. instance OAI.SimpleAmenable.PolygonObject.positionalTwoBarBraided line 90
15. instance OAI.SimpleAmenable.PolygonObject.positionalTwoBarEssSurj line 93
16. def OAI.SimpleAmenable.PolygonObject.positionalBarMap line 96
17. instance OAI.SimpleAmenable.PolygonObject.positionalBarMapEssSurj line 100
18. abbrev OAI.SimpleAmenable.PolygonObject.PositionalBars line 103
19. def OAI.SimpleAmenable.PolygonObject.positionalBarInclusion line 106
20. instance OAI.SimpleAmenable.PolygonObject.positionalBarInclusionEssSurj line 110
21. instance OAI.SimpleAmenable.PolygonObject.positionalBarInclusionEquivalence line 115