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
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