Theorem real_inner_comm

Modification history