Theorem MonoidHom.prodMap_def

Modification history