GCH: $\aleph_\alpha^{\aleph_\beta}=\aleph_{\beta+1}$ when $\alpha\le\beta+1$ · Prove2Me

P

Initializing...

GCH: $\aleph_\alpha^{\aleph_\beta}=\aleph_{\beta+1}$ when $\alpha\le\beta+1$ · Prove2Me