mathlib3
7a13a11a - chore(category_theory): delete two empty files (#2472)

Commit

6 years ago

chore(category_theory): delete two empty files (#2472) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

References

Author

kim-em

Parents