pub const SU2_1: RotationGroup;
Rotation group $\mathsf{SU}(2)$, homotopy path of class 1.
\mathsf{SU}(2)