Commit 2023-06-08 08:49 a3f5bad3

View on Github →

feat: port CategoryTheory.Monoidal.Skeleton (#4844)

Estimated changes