Def RingCat.Colimits.descFunLift

Modification history