Commit 2020-06-27 02:52 6ed3325a
View on Github →feat(category_theory/limits): limit of point iso (#3188) Prove a cone is a limit given that the canonical morphism from it to a limiting cone is an iso.
feat(category_theory/limits): limit of point iso (#3188) Prove a cone is a limit given that the canonical morphism from it to a limiting cone is an iso.