Theorem MonoidHom.mgraph_eq_mrange_prod

Modification history