colimits): remove unnecessary projections
#1588

Merged

Commits

refactor(category_theory,algebra/category): make algebraic categories not [reducible]

rwbarton committed 6 years ago
Update src/algebra/category/CommRing/basic.lean

jcommelin committed 6 years ago
adding missing forget2 instances

Scott Morrison committed 6 years ago
Merge branch 'cats-semired' of github.com:leanprover-community/mathlib into cats-semired

Scott Morrison committed 6 years ago
merge

Scott Morrison committed 6 years ago
Converting Reid's comment to a [Note]

Scott Morrison committed 6 years ago
adding examples testing coercions

Scott Morrison committed 6 years ago
Merge branch 'master' into cats-semired

kim-em committed 6 years ago
chore(algebra/category/*/colimits): remove unnecessary projections

Scott Morrison committed 6 years ago
Merge remote-tracking branch 'origin/master' into alpha

Scott Morrison committed 6 years ago
Merge branch 'master' into alpha

mergify[bot] committed 6 years ago