Def AddCommGroup.colimits.desc_fun_lift

Modification history