Def CategoryTheory.endofunctorMonoidalCategory

Modification history

2023-03-17 14:06

Mathlib/CategoryTheory/Monoidal/End.lean

chore: tidy various files (#2950)

Modified CategoryTheory.endofunctorMonoidalCategory View on Github →

2023-03-10 09:02

Mathlib/CategoryTheory/Monoidal/End.lean

feat: port CategoryTheory.Monoidal.End (#2759)

Added CategoryTheory.endofunctorMonoidalCategory View on Github →