Theorem MonoidHom.prod_comp_prodMap

Modification history