search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

An extra property of the interchange in an SMC... #303

Closed sstucki closed 3 years ago

sstucki commented 3 years ago

... and re-export the missing interchange properties in the corresponding tensor module.

(Depends on #302).