Theorem Subgroup.index_inf_ne_zero

Modification history