Theorem MonoidHom.mker_prod_map

Modification history