Theorem Subgroup.exists_mulEquiv_eq_graph

Modification history