Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-26 23:21
db7172dc
View on Github →
feat: forward-port
#18148
(
#3104
)
Estimated changes
Modified
Mathlib/Algebra/Category/MonCat/Basic.lean
Modified
Mathlib/CategoryTheory/Closed/Monoidal.lean
added
theorem
CategoryTheory.MonoidalClosed.ofEquiv_curry_def
added
theorem
CategoryTheory.MonoidalClosed.ofEquiv_uncurry_def