Double coset index of a subgroup

From Groupprops