Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-12-02 17:36
382abaf1
View on Github →
feat(category_theory/const): constant functors
Estimated changes
Created
category_theory/const.lean
added
theorem
category_theory.functor.const.map_app
added
theorem
category_theory.functor.const.obj_map
added
theorem
category_theory.functor.const.obj_obj
added
def
category_theory.functor.const
added
def
category_theory.functor.const_comp
added
theorem
category_theory.functor.const_comp_hom_app
added
theorem
category_theory.functor.const_comp_inv_app