Theorem MonoidHom.coprod_comp_inr

Modification history