Commit 2020-06-17 03:12 e40de30a

View on Github →

chore(category_theory/closed): move one thing to monoidal closed and fix naming (#3090) Move one of the CCC defs to MCC as an example, and make the naming consistent.

Estimated changes