Theorem Subgroup.relindex_sup_left

Modification history