chore(category_theory): delete two empty files (#2472)

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
leanprover-community · Apr 21, 2020 · 7a13a11 · 7a13a11
1 parent 5d0a724
commit 7a13a11
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/src/category_theory/limits/shapes/constructions/finite_products.lean b/src/category_theory/limits/shapes/constructions/finite_products.lean
diff --git a/src/category_theory/limits/shapes/constructions/sums.lean b/src/category_theory/limits/shapes/constructions/sums.lean