Theorem CategoryTheory.BraidedCategory.unop_tensorμ

Modification history

2025-12-13 14:21

Mathlib/CategoryTheory/Monoidal/Braided/Opposite.lean

chore: use `Category*` everywhere (#32842) …

Modified CategoryTheory.BraidedCategory.unop_tensorμ View on Github →

2024-11-10 22:57

Mathlib/CategoryTheory/Monoidal/Braided/Opposite.lean

refactor(CategoryTheory/Monoidal): typeclasses Functor.LaxMonoidal, Functor.OplaxMonoidal and Functor.Monoidal (#17904) …

Added CategoryTheory.BraidedCategory.unop_tensorμ View on Github →