Author: Urs Format: MarkdownItexa stub, am trying to bring into place some infrastructure for discussion of the finite subgroups of $O(5)$
<a href="https://ncatlab.org/nlab/revision/regular+polytope/1">v1</a>, <a href="https://ncatlab.org/nlab/show/regular+polytope">current</a>
a stub, am trying to bring into place some infrastructure for discussion of the finite subgroups of