Def category_theory.monad.monadic_of_has_preserves_reflects_G_split_coequalizers

Modification history