Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-20 08:32 0c57d1e7

View on Github →

feat(category_theory/monad): algebras for the coproduct monad (#5679) WIP, I'll fix it up when the dependent PRs merge

<!-- put comments you want to keep out of the PR commit here. If this PR depends on other PRs, please list them below this comment, using the following format: - [ ] depends on: #abc [optional extra text] - [ ] depends on: #xyz [optional extra text] -->

Estimated changes