A Spectral Theorem for a Non-Archimedean Valued Field Whose Residue Field Is Formally Real. Extr. Math. 2024. https://doi.org/10.17398/.