mathlib3
f5060c40 - feat(category_theory/limits): support for special shapes of (co)limits (#938)

Commit

6 years ago

feat(category_theory/limits): support for special shapes of (co)limits (#938) feat(category_theory/limits): support for special shapes of (co)limits

References

Author

kim-em

Parents