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 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.