f: E → (X1 x X2) is cont iff (g1 o f): E → X1 and (g2 o f): E → X2 are both cont

Printable View