Theorem CategoryTheory.endofunctorMonoidalCategory_tensorObj_obj

Modification history

2023-06-28 16:07
Mathlib/CategoryTheory/Monoidal/End.lean
feat: port CategoryTheory.Monad.EquivMon (#5086)
Added CategoryTheory.endofunctorMonoidalCategory_tensorObj_objView on Github →