Commit 2024-09-14 12:37 d27a23a6

View on Github →

feat(CategoryTheory/Monoidal/Functor): add lemmas (#16778)

Estimated changes