Def CategoryTheory.fullyFaithfulUncurry

Modification history

2025-07-02 09:20

Mathlib/CategoryTheory/Functor/Currying.lean

chore(CategoryTheory): rename `whiskerLeft` to `Functor.whiskerLeft` (#26611) …

Deleted CategoryTheory.fullyFaithfulUncurry View on Github →

2024-12-13 07:54

Mathlib/CategoryTheory/Functor/Currying.lean

feat(CategoryTheory/Localization): liftings of bifunctors (#19894) …

Added CategoryTheory.fullyFaithfulUncurry View on Github →