terminal): limit of the constant terminal functor (#13238)

Commit

3 years ago

feat(category_theory/limits/terminal): limit of the constant terminal functor (#13238) Needed in LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

afa9be28

mathlib3 ed266e51 - feat(category_theory/limits/terminal): limit of the constant terminal functor (#13238)

mathlib3
ed266e51 - feat(category_theory/limits/terminal): limit of the constant terminal functor (#13238)