Category:Regular Representation on Subgroup is Bijection to Coset