Theorem CategoryTheory.uncurry_expComparison

Modification history

2023-06-15 07:21

Mathlib/CategoryTheory/Closed/Functor.lean

feat: port CategoryTheory.Closed.Functor (#4922)

Added CategoryTheory.uncurry_expComparison View on Github →