Author: Urs Format: MarkdownItexa table-for-inclusion, in order to cross-link the relevant entries
<a href="https://ncatlab.org/nlab/revision/Spin%288%29-subgroups+and+reductions+--+table/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Spin%288%29-subgroups+and+reductions+--+table">current</a>
a table-for-inclusion, in order to cross-link the relevant entries