All Questions

When looking into the definition of a Pin group, it turns out that there are - at least - three different ones in the literature, and they do not agree --- but thankfully all yield the same Spin ...