Documentation

Atlas.RealAnalysis.code.RealNumbers.Uncountability

Cantor's theorem: the half-open interval (0, 1] of real numbers is uncountable.

Corollary of Cantor's theorem: the set of real numbers is uncountable.