Theorem Subgroup.relindex_ne_zero_trans

Modification history