Unitary group of degree 2 by Ciro Santilli 34 Updated Created
Diffeomorphic to the 3 sphere.