Tour:Left cosets are in bijection via left multiplication