Theorem Complex.log_mul_eq_add_log_sub_two_pi_mul_I_iff

Modification history

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