Theorem MonoidHom.exists_mrange_eq_mgraph

Modification history