Theorem AddCommGrp.Colimits.Quot.map_ι

Modification history