Theorem CategoryTheory.MonoidalCategory.whiskerLeft_whiskerLeft_associator_inv

Modification history

2024-08-11 03:09
Mathlib/CategoryTheory/Monoidal/Category.lean
chore(CategoryTheory/Monoidal): fix duplicate lemmas (#15682)
Deleted CategoryTheory.MonoidalCategory.whiskerLeft_whiskerLeft_associator_invView on Github →
2024-07-16 09:12
Mathlib/CategoryTheory/Monoidal/Category.lean
feat(CategoryTheory): the monoidal category structure on graded objects (#14457) …
Added CategoryTheory.MonoidalCategory.whiskerLeft_whiskerLeft_associator_invView on Github →