Unitary group of degree 2 (source code)

= Unitary group of degree 2

= $U(2)$
{synonym}
{title2}

Diffeomorphic to the 3 sphere.