mathlib
aec64b17 - feat(category_theory/monad): generalise algebra colimits (#5234)

Commit

5 years ago

feat(category_theory/monad): generalise algebra colimits (#5234) Assumption generalisations and universe generalisations

Author

b-mehta

Parents