Def MonoidHom.prodMap

Modification history