Commit 2020-03-16 03:42 d8e5d99a
View on Github →feat(category_theory/limits): Convenience methods for building limit (co)forks (#2155)
- feat(category_theory/limits): Convenience methods for building limit (co)forks
- Formatting
- Rework a proof about kernels
- feat(category_theory/limits): kernel forks