mathlib3
123c5221 - feat(category_theory/limits): terminal comparison morphism (#5025)

Commit

5 years ago

feat(category_theory/limits): terminal comparison morphism (#5025)

Author

b-mehta

b-mehta

Parents

Loading