feat(analysis/normed_space/inner_product): Define the inner product based on is_R_or_C (#4057)
is_R_or_C