Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-04-08 17:11
ec51b6e1
View on Github →
feat(category_theory/colimits): missing simp lemmas (
#894
)
Estimated changes
Modified
src/category_theory/limits/limits.lean
added
theorem
category_theory.limits.colim.ι_map_assoc
added
theorem
category_theory.limits.colimit.ι_desc_assoc
added
theorem
category_theory.limits.colimit.ι_post_assoc
added
theorem
category_theory.limits.colimit.ι_pre_assoc