mathlib
d457ee68 - feat(category_theory): limits and colimits in Ab

Commit

6 years ago

feat(category_theory): limits and colimits in Ab

References

#2097 - feat(category_theory): limits and colimits in Ab

Author

kim-em

kim-em

Parents

Loading