On Tuesday, 8 December 2015 at 17:33:49 UTC, Andrei Alexandrescu wrote: > On 12/08/2015 12:12 PM, Timon Gehr wrote: >> O(log(n+m)) = O(log(n)+log(m)). > > Noice. Yes I did miss it. Thx!! -- Andrei Surely I'm missing something obvious but why is it true exactly?