Theorem continuous_linear_map.adjoint_aux_norm

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

feat(analysis/inner_product_space/adjoint): define the adjoint of a continuous linear map between Hilbert spaces (#10825) …