mathlib3
32b2e305 - feat(category_theory/monad): special coequalizers for a monad (#5239)

Commit

5 years ago

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

Author

b-mehta

Parents