Theorem cstar_ring.nnnorm_star_mul_self

refactor(analysis): change the symbol for norm to align with the unicode spec (#17575) …

feat(analysis/normed_space/star/spectrum): prove the spectral radius of a selfadjoint element in a C*-algebra is its norm. (#12211) …