Def category_theory.monad.coequalizer.top_map

Modification history