Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.braiding_naturality

Modification history

2023-06-05 01:30
Mathlib/CategoryTheory/Monoidal/OfChosenFiniteProducts/Symmetric.lean
feat: port CategoryTheory.Monoidal.OfChosenFiniteProducts.Symmetric (#4658)
Added CategoryTheory.MonoidalOfChosenFiniteProducts.braiding_naturalityView on Github →