search

ohnosequences / stuff

Useful stuff.
GNU Affero General Public License v3.0
1 stars 0 forks source link

Make products an instance of a monoidal category #46

Closed eparejatobes closed 7 years ago