Theorem real_inner_self_nonneg

Modification history