Commit 2023-06-09 22:47 b42d5626

View on Github →

feat: port CategoryTheory.Closed.Types (#4918)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/CategoryTheory/Closed/Cartesian.lean

added def CategoryTheory.CartesianClosed.mk

Created Mathlib/CategoryTheory/Closed/Types.lean