Def category_theory.monad.beck_split_coequalizer

Modification history