Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.functor_category.id_app

Modification history

2018-08-08 00:44
category_theory/functor_category.lean
refactor(category_theory/products): tweak PR after merge
Deleted category_theory.functor_category.id_appView on Github →
2018-08-08 00:32
category_theory/functor_category.lean
feat(category_theory): product categories and functor categories (#239)
Added category_theory.functor_category.id_appView on Github →