Theorem MonoidHom.exists_mulEquiv_range_eq_graph

Modification history