Theorem Subgroup.exists_eq_graph

Modification history