Description: Change the index set to a subset in an upper integer product. (Contributed by Scott Fenton, 11-Dec-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | prodss.1 | |
|
prodss.2 | |
||
prodss.3 | |
||
prodss.4 | |
||
prodss.5 | |
||
Assertion | prodss | |