Theorem complex.arg_eq_arg_neg_add_pi_of_im_nonneg_of_re_neg
Modification history
2022-01-17 10:14
src/analysis/special_functions/complex/arg.lean
feat(analysis/special_functions/complex/arg): `arg_neg` lemmas (#11503) …
Deleted complex.arg_eq_arg_neg_add_pi_of_im_nonneg_of_re_negView on Github →