Def MonCat.Colimits.descFun

Modification history