mathlib3
df50b6c2 - feat(category_theory/limits): strict initial objects are initial mono (#8267)

Commit

4 years ago

feat(category_theory/limits): strict initial objects are initial mono (#8267) - [x] depends on: #8094 - [x] depends on: #8099

Author

b-mehta

Parents