Commit 2026-11-10 11:56 ad6cdd13
View on Github →feat(Analysis/Complex): arg(xy) and log(xy) for more cases (#45644)
Existing lemma only talks about arg x + arg y ∈ Set.Ioc (-π) π. Let's add other cases as well.
feat(Analysis/Complex): arg(xy) and log(xy) for more cases (#45644)
Existing lemma only talks about arg x + arg y ∈ Set.Ioc (-π) π. Let's add other cases as well.