mathlib3
0821e6ed - feat(category_theory/limits): strict initial objects (#8094)

Commit

4 years ago

feat(category_theory/limits): strict initial objects (#8094) - [x] depends on: #8084 [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

Author

b-mehta

Parents

afd0f92b

mathlib3 0821e6ed - feat(category_theory/limits): strict initial objects (#8094)

mathlib3
0821e6ed - feat(category_theory/limits): strict initial objects (#8094)