Theorem Complex.re_neg_ne_zero_of_re_pos

Modification history