# Commit 2020-11-12 16:36 97a7f577

View on Github →chore(algebra/direct_limit): Use bundled morphisms (#4964)
This introduced some ugliness in the form of `(λ i j h, f i j h)`

, which is a little unfortunate

Mathlib v3 is deprecated. Go to Mathlib v4

chore(algebra/direct_limit): Use bundled morphisms (#4964)
This introduced some ugliness in the form of `(λ i j h, f i j h)`

, which is a little unfortunate