Def category_theory.limits.wide_coequalizer.desc'

Modification history