Theorem AddCommGrp.Colimits.Quot.addMonoidHom_ext

Modification history