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