Theorem Complex.arg_mul_eq_add_arg_sub_two_pi_iff

Modification history

2026-11-10 11:56
Mathlib/Analysis/SpecialFunctions/Complex/Arg.lean
feat(Analysis/Complex): arg(x*y) and log(x*y) for more cases (#45644) …
Added Complex.arg_mul_eq_add_arg_sub_two_pi_iffView on Github →