Description: The product of a family of topological monoids is a topological monoid. (Contributed by Mario Carneiro, 22-Sep-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | prdstmdd.y | |
|
prdstmdd.i | |
||
prdstmdd.s | |
||
prdstmdd.r | |
||
Assertion | prdstmdd | |