Def category_theory.whiskering_right₂

Modification history

2022-08-24 18:34
src/category_theory/functor/currying.lean
feat(category_theory/currying): bifunctor version of whiskering_right (#15504) …
Added category_theory.whiskering_right₂View on Github →