Commit 2023-06-05 02:03 116627d8

View on Github →

feat: port CategoryTheory.Bicategory.NaturalTransformation (#4594)

Estimated changes