dist_subtract

proveit.numbers.dist_subtract(a, b)[source]

Returns the distributed a-b expression. That is, if a or b are Add expressions, combine all of the terms into a single Add expression (not nested). For example, with a:x-y, b:c+d-e+g, it would return x-y-c-d+e-g.