mathlib
ac991c9a - feat(category_theory/limits): Strict terminal objects. (#10582)

Commit

4 years ago

feat(category_theory/limits): Strict terminal objects. (#10582)

Author

erdOne

erdOne

Committer

jcommelin

jcommelin

Parents

Loading