Def CommRingCat.Colimits.descFunLift

Modification history