mathlib3
15523ea8 - feat(category_theory/limits): various results about kernels/cokernels

Commit

3 years ago

feat(category_theory/limits): various results about kernels/cokernels

Author

joelriou

joelriou

Parents

Loading