Theorem Subgroup.relindex_inf_ne_zero

Modification history