Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.symmetry

Modification history

2023-06-05 01:30

Mathlib/CategoryTheory/Monoidal/OfChosenFiniteProducts/Symmetric.lean

feat: port CategoryTheory.Monoidal.OfChosenFiniteProducts.Symmetric (#4658)

Added CategoryTheory.MonoidalOfChosenFiniteProducts.symmetry View on Github →