Theorem continuous_linear_map.apply_norm_sq_eq_inner_adjoint_right

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

feat(analysis/inner_product_space/adjoint): show that continuous linear maps on a Hilbert space form a C*-algebra (#10837) …