Theorem Subgroup.relindex_inter_ne_zero

Modification history