dist_add

proveit.numbers.dist_add(\*terms)[source]

Returns the distributed sum of expression. That is, if any of the terms are Add expressions, expand them. For example, dist_add(x-y, c+d-e+g) would return x-y+c+d-e+g.