Theorem CategoryTheory.endofunctorMonoidalCategory_tensorUnit_obj

Modification history

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