Theorem ModuleCat.MonoidalCategory.braiding_hom_apply

Modification history

2023-06-05 08:38
Mathlib/Algebra/Category/ModuleCat/Monoidal/Symmetric.lean
feat: port Algebra.Category.Module.Monoidal.Symmetric (#4664)
Added ModuleCat.MonoidalCategory.braiding_hom_applyView on Github →