Def category_theory.monad.monadic_of_has_preserves_reflexive_coequalizers_of_reflects_isomorphisms

Modification history