Commit 2020-12-10 21:44 32b2e305

View on Github →

feat(category_theory/monad): special coequalizers for a monad (#5239) Two important coequalizer diagrams related to a monad

Estimated changes