Theorem inner_mul_symm_re_eq_norm

Modification history