Commit 2024-08-11 03:09 06bc0d1b

View on Github →

chore(CategoryTheory/Monoidal): fix duplicate lemmas (#15682)

Estimated changes