These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.
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.