Commit 2020-07-21 08:38 31699708
View on Github →feat(category_theory/kernels): helper lemmas for constructing kernels (#3439) This does for kernels what #3398 did for pullbacks.
feat(category_theory/kernels): helper lemmas for constructing kernels (#3439) This does for kernels what #3398 did for pullbacks.