Commit 2023-06-08 03:27 2bb9fc30

View on Github →

feat: port CategoryTheory.Monoidal.Types.Coyoneda (#4806)

Estimated changes