mathlib
4db82a40 - refactor(category_theory/cones): golf and cleanup cones (#6756)

Commit

4 years ago

refactor(category_theory/cones): golf and cleanup cones (#6756) No mathematical content here, basically just golfing and tidying in preparation for future PRs.

Author

b-mehta

Parents

56e5aa74

mathlib 4db82a40 - refactor(category_theory/cones): golf and cleanup cones (#6756)

mathlib
4db82a40 - refactor(category_theory/cones): golf and cleanup cones (#6756)