Description: A map into the product of two topological spaces is continuous iff both of its projections are continuous. (Contributed by Jeff Madsen, 2-Sep-2009) (Proof shortened by Mario Carneiro, 22-Aug-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | txcn.1 | |
|
txcn.2 | |
||
txcn.3 | |
||
txcn.4 | |
||
txcn.5 | |
||
txcn.6 | |
||
Assertion | txcn | |