Theorem real_inner_eq_re_inner

Modification history