OAI/GroupTheory/SimpleAmenable/Configurations/EmptyStage.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.IntervalBar.Diagram.bar₃_acyclic line 14
2. abbrev OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.Terminal line 27
3. instance OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.terminalSymmetric line 28
4. def OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.terminal line 35
5. instance OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.terminalMonoidal line 37
6. instance OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.terminalBraided line 46
7. def OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.emptyFunctor line 49
8. instance OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.emptyFunctorMonoidal line 51
9. instance OAI.SimpleAmenable.PolygonObject.FiniteSetGroupoid.(instance at line 60) line 60