Def CategoryTheory.tensor_μ

Modification history

2024-09-14 12:37

Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean

chore: flatten arguments of `tensor_μ` (#16739)

Modified CategoryTheory.tensor_μ View on Github →

2024-02-02 06:26

Mathlib/CategoryTheory/Monoidal/Braided.lean

refactor(CategoryTheory/Monoidal/Braided): use monoidalComp in the proofs (#10078) …

Modified CategoryTheory.tensor_μ View on Github →

2023-06-02 10:22

Mathlib/CategoryTheory/Monoidal/Braided.lean

feat: port CategoryTheory.Monoidal.Braided (#4560)

Added CategoryTheory.tensor_μ View on Github →