Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.arg_eq_arg_neg_add_pi_of_im_nonneg_of_re_neg

Modification history