Def CategoryTheory.tensor_μ
Modification history
2024-11-10 22:57
Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean
refactor(CategoryTheory/Monoidal): typeclasses Functor.LaxMonoidal, Functor.OplaxMonoidal and Functor.Monoidal (#17904) …
Deleted CategoryTheory.tensor_μView on Github →2024-09-14 12:37
Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean
chore: flatten arguments of `tensor_μ` (#16739)
Modified CategoryTheory.tensor_μView on Github →