Def CategoryTheory.MonoidalClosed.pre

Modification history

2023-03-21 13:00

Mathlib/CategoryTheory/Closed/Monoidal.lean

feat: port CategoryTheory.Closed.Monoidal (#3002)

Added CategoryTheory.MonoidalClosed.pre View on Github →