Theorem AddCommGrp.Colimits.Quot.desc_toCocone_desc

Modification history