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

Commit

4 years ago

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

Author

erdOne

erdOne

Parents

Loading