Theorem Subgroup.relindex_ne_zero

Modification history