Commit 2020-09-16 06:06 f585ce54

View on Github →

feat(category_theory): monoidal natural transformations and discrete monoidal categories (#4112)

Estimated changes