Theorem AddCommGrp.Colimits.Quot.desc_toCocone_desc_app

Modification history