# Def category_theory.functor.comp

#### Modification history

2022-07-26 08:05

src/category_theory/functor/basic.lean

refactor(category_theory/*): use simps in the old parts of the library (#14236)

Modified category_theory.functor.compView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2022-07-26 08:05

src/category_theory/functor/basic.lean

refactor(category_theory/*): use simps in the old parts of the library (#14236)

Modified category_theory.functor.compView on Github →