Commit 2024-06-18 14:43 3683cd05

View on Github →

chore(CategoryTheory/Monoidal/Mon_): cleanup (#13310)

Estimated changes

deleted theorem Mon_.assoc_flip
added theorem Mon_.mul_assoc_flip