Commit 2020-04-15 07:41 8e8037f5
View on Github →chore(category_theory/limits): remove dependency on concrete_categories (#2411)
Just move some content around, so that category_theory/limits/cones.lean doesn't need to depend on the development of concrete_category.