Description: Product of scaled monomials. (Contributed by Stefan O'Rear, 8-Mar-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | mplmon2cl.p | |
|
mplmon2cl.d | |
||
mplmon2cl.z | |
||
mplmon2cl.c | |
||
mplmon2cl.i | |
||
mplmon2mul.r | |
||
mplmon2mul.t | |
||
mplmon2mul.u | |
||
mplmon2mul.x | |
||
mplmon2mul.y | |
||
mplmon2mul.f | |
||
mplmon2mul.g | |
||
Assertion | mplmon2mul | |