ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3153 on R4627:

P3153

This result is a particular case of R262: Countable union of countable sets is countable. $\square$