Def MonCat.Colimits.descFunLift

Modification history