Theorem Subgroup.mem_square

Modification history