mathlib
f5ee47b6 - feat(category_theory/triangulated): upgrade map_triangle to a functor (#13262)

Commit

3 years ago

feat(category_theory/triangulated): upgrade map_triangle to a functor (#13262) Useful for LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

a98a26b2

mathlib f5ee47b6 - feat(category_theory/triangulated): upgrade map_triangle to a functor (#13262)

mathlib
f5ee47b6 - feat(category_theory/triangulated): upgrade map_triangle to a functor (#13262)