Theorem Complex.re_eq_neg_norm

Modification history