Def RingCat.Colimits.descFun

Modification history