Commit 2022-08-24 18:34 0be7214f
View on Github →feat(category_theory/currying): bifunctor version of whiskering_right (#15504)
This cannot go in category_theory/whiskering because this file is imported indirectly by category_theory/functor/currying. Hopefully it is ok to put it in category_theory/functor/currying.
- depends on: #15445