Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.functor.of.obj_obj

Modification history

2020-03-11 10:15
src/category_theory/punit.lean
chore(category_theory): remove functor.of (#2127) …
Deleted category_theory.functor.of.obj_objView on Github →
2018-12-21 04:05
category_theory/punit.lean
fix(category_theory/punit): fix regression (#550)
Added category_theory.functor.of.obj_objView on Github →
2018-12-20 23:12
category_theory/punit.lean
feat(category_theory): assorted small changes from the old limits PR (#512)
Deleted category_theory.functor.of.obj_objView on Github →
2018-12-15 12:32
category_theory/punit.lean
feat(category_theory/const): Constant functor of object from punit (#508)
Added category_theory.functor.of.obj_objView on Github →