Theorem real_inner_smul_right

Modification history