Closed sstucki closed 3 years ago
... and update the definition of symmetric monoidal functors accordingly.
Depends on #268
... and update the definition of symmetric monoidal functors accordingly.
Depends on #268