P

Initializing...

Kőnig: $2^{\aleph_0}\neq\aleph_\alpha$ when $\mathrm{cf}(\alpha)=\omega$ · Prove2Me