Loading paper
A 2-group construction from an extension of the 3-loop group $\Omega^3G$ | Tomesphere