Commit b057c67

committed

feat(CategoryTheory/Monoidal): replace Mon_ lemmas with Mon_Class lemmas (#24597)

extracted from #15254

1 parent 3ee28f8 commit b057c67Copy full SHA for b057c67

1 file changed

+165

-123

lines changed

+165

-123

lines changed

Comments

(0)