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.
Return an expression representing the product of the given
factors using obvious simplifications: return ‘one’ if there
are no factors, return the single factor if there is only 1,
return ‘zero’ if there are any zeros, and combine fractions.