Theorem MonoidHom.exists_range_eq_graph

Modification history