Def MonCat.Colimits.colimitIsColimit

Modification history