mathlib
9f3e7fba - feat(category_theory/limits): further API for commuting limits (#13215)

Commit

3 years ago

feat(category_theory/limits): further API for commuting limits (#13215) Needed for LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents