Def CategoryTheory.MonoidalCategory.Pentagon

Modification history

2025-04-30 07:12
Mathlib/CategoryTheory/Monoidal/Category.lean
chore: whitespace adaptations (#24459) …
Modified CategoryTheory.MonoidalCategory.PentagonView on Github →
2025-01-31 20:22
Mathlib/CategoryTheory/Monoidal/Category.lean
feat(CategoryTheory): the localized category is monoidal (#12728) …
Added CategoryTheory.MonoidalCategory.PentagonView on Github →