Theorem complex.arg_eq_arg_neg_sub_pi_of_im_neg_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_sub_pi_of_im_neg_of_re_negView on Github →