Theorem Subgroup.index_ne_zero_of_finite

Modification history