Def MonCat.Colimits.coconeFun

Modification history