Def category_theory.over_to_coalgebra

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.over_to_coalgebra View on Github →