Theorem Subgroup.mul_self_mem_of_index_two

Modification history