Theorem MonoidHom.coe_prodMap

Modification history