ProofWiki:Potw

Cantor's Theorem