Def CategoryTheory.whiskeringRight₂

Modification history

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