compose_product

proveit.numbers.compose_product(\*factors)[source]

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.