mathlib
6bac8992 - feat(category_theory/limits/preserves): functor product preserves colims (#4941)

Commit

5 years ago

feat(category_theory/limits/preserves): functor product preserves colims (#4941)

Author

b-mehta

b-mehta

Parents

Loading