Commit 2020-10-05 04:08 bf998892
View on Github →feat(category_theory/limits): lift self limit (#4403) A couple of little lemmas to simplify lift of a limit cone.
feat(category_theory/limits): lift self limit (#4403) A couple of little lemmas to simplify lift of a limit cone.