Def category_theory.under_to_algebra

Modification history

2021-01-20 08:32

src/category_theory/monad/products.lean

feat(category_theory/monad): algebras for the coproduct monad (#5679) …

Added category_theory.under_to_algebra View on Github →