Def CategoryTheory.curry

Modification history

2023-02-15 07:48
Mathlib/CategoryTheory/Functor/Currying.lean
feat: port CategoryTheory.Functor.Currying (#2298)
Added CategoryTheory.curryView on Github →