Theorem category_theory.monoidal_category.triangle_assoc_comp_left
Modification history
2022-04-25 15:23
src/category_theory/monoidal/category.lean
refactor(category_theory/monoidal): rearrange simp lemmas to work better with coherence (#13409) …
Deleted category_theory.monoidal_category.triangle_assoc_comp_leftView on Github →