Theorem Complex.log_mul_eq_add_log_iff

Modification history

2023-11-16 23:07
Mathlib/Analysis/SpecialFunctions/Complex/Log.lean
feat: add lemmas on Complex.arg (x * y) and Complex.log (x * y) (#8346) …
Added Complex.log_mul_eq_add_log_iffView on Github →