ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3162 on R4263: Countable cartesian product with empty set is empty
P3162
This result is a particular case of R4264: Cartesian product with empty set is empty. $\square$