Theorem IsSubgroup.inv_mem_iff

Modification history