finite*): finite limits from limits (#3800)

Commit

5 years ago

feat(category_theory/limits/shapes/finite*): finite limits from limits (#3800) Add some missing derivations in the new has_limits hierarchy

References

Author

b-mehta

Parents