Theorem Subgroup.mem_sSup_of_mem

Modification history