Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.symmetry

Modification history

2025-05-14 15:37
Mathlib/CategoryTheory/Monoidal/OfChosenFiniteProducts/Symmetric.lean
refactor: move the construction of `ChosenFiniteProducts` from finite products with `ChosenFiniteProducts` (#24679) …
Deleted CategoryTheory.MonoidalOfChosenFiniteProducts.symmetryView on Github →
2023-06-05 01:30
Mathlib/CategoryTheory/Monoidal/OfChosenFiniteProducts/Symmetric.lean
feat: port CategoryTheory.Monoidal.OfChosenFiniteProducts.Symmetric (#4658)
Added CategoryTheory.MonoidalOfChosenFiniteProducts.symmetryView on Github →