Library
▹
Essentials
▹
Numbers
▹
Cardinal numbers
Corollary 1.8.2.24.
c
is uncountable
No proof.
References.
https://en.wikipedia.org/wiki/Cardinality_of_the_continuum
https://proofwiki.org/wiki/Real_Numbers_are_Uncountable
http://metamath.tirix.org/ruc.html
https://leanprover-community.github.io/mathlib_docs/data/real/cardinality.html#cardinal.not_countable_real