group-explorer
group-explorer copied to clipboard
Update and rename Unnamed2_16.group to Pauli.group
This group is called the Pauli Group (https://en.wikipedia.org/wiki/Pauli_group). It's also the central product of the Cyclic group of order 4 and the Dihedral group of order 8.