3-sphere

This space is defined as the defining ingredient::sphere of dimension 3.