Add all inverses for monoidal structures - Githubissues

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

Add all inverses for monoidal structures #69

Closed eparejatobes closed 6 years ago

eparejatobes commented 6 years ago

[x] units
[x] assocs
[x] swap (symmetries)