mathlib
6ed3325a - feat(category_theory/limits): limit of point iso (#3188)

Commit

5 years ago

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.

Author

b-mehta

Parents

c6fd69d3

mathlib 6ed3325a - feat(category_theory/limits): limit of point iso (#3188)

mathlib
6ed3325a - feat(category_theory/limits): limit of point iso (#3188)