Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.hexagon_forward

Modification history

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