Def CategoryTheory.Monad.createsGSplitCoequalizersOfMonadic

Modification history

2023-07-12 03:49

Mathlib/CategoryTheory/Monad/Monadicity.lean

feat: port CategoryTheory.Monad.Monadicity (#5088)

Added CategoryTheory.Monad.createsGSplitCoequalizersOfMonadic View on Github →