mathlib
b6b41c10 - feat(category_theory/limits/creates): composition creates limits (#4922)

Commit

5 years ago

feat(category_theory/limits/creates): composition creates limits (#4922)

Author

b-mehta

b-mehta

Parents

Loading