Spectral nonassociative $\mathrm{L}^p$-spaces for $\mathrm{JBW}^*$-algebras

We complete the construction of tracial spectral nonassociative $\mathrm{L}^p$-spaces for general $\mathrm{JBW}^*$-algebras. More precisely, if $\mathcal{M}$ is a $\mathrm{JBW}^*$-algebra equipped with a normal finite faithful trace $τ$ and $1 \leq p < \infty$, we prove that $\|x\|_{\mathrm{L}^p(\ma