[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type
#864
Workflow file for this run
File not found
The workflow file could not be found.