Isomorphism of the free group factors

Resolves the free group factor isomorphism problem: $L(\mathbb F_2)\cong L(\mathbb F_3)$, and hence all interpolated free group factors, including $L(\mathbb F_\infty)$, are isomorphic. Their common factor has fundamental group $\mathbb R_{\gt 0}$.