Commit 2019-01-22 17:23 8d44feeb

View on Github →

style(category_theory): adjust precedence of ⥤ (#616)

Estimated changes