Robuta

https://devel.isa-afp.org/entries/Wetzels_Problem.html Wetzel's Problem and the Continuum Hypothesis - Archive of Formal Proofs Wetzel's Problem and the Continuum Hypothesis in the Archive of Formal Proofs the continuum hypothesis wetzel problem https://plato.stanford.edu/archives/win2019/entries/continuum-hypothesis/notes.html The Continuum Hypothesis Notes (Stanford Encyclopedia of Philosophy/Winter 2019 Edition) the continuum hypothesis notes stanford