mathlib3
chore(algebra/category/*/colimits): remove unnecessary projections
#1588
Merged
Merged
refactor(category_theory,algebra/category): make algebraic categories…
c66281db
Update src/algebra/category/CommRing/basic.lean
a9030b40
adding missing forget2 instances
1725d127
Merge branch 'cats-semired' of github.com:leanprover-community/mathli…
68d8132a
merge
1ad59d33
Converting Reid's comment to a [Note]
87ee7847
adding examples testing coercions
567fe67b
Merge branch 'master' into cats-semired
a042a78a
chore(algebra/category/*/colimits): remove unnecessary projections
e20a5302
Merge remote-tracking branch 'origin/master' into alpha
03068e23
jcommelin
approved these changes
on 2019-10-22
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into alpha
01670561
Login to write a write a comment.
Login via GitHub