Theorem Subgroup.sq_mem_of_index_two

Modification history