Comment by JadeNB

It's not that "representation of the spin group" is undefined, but that there are too many of them for it to pin things down uniquely. (In this case, fortunately, it's not hard to say which representation it is (see https://news.ycombinator.com/item?id=43388052), but just saying "a representation" isn't enough.)