GCH: $\aleph_\alpha^{\aleph_\beta}=\aleph_{\alpha+1}$ when $\beta+1<\alpha$, $\mathrm{cf}(\aleph_\alpha)\le\aleph_\beta$

Initializing...

GCH: $\aleph_\alpha^{\aleph_\beta}=\aleph_{\alpha+1}$ when $\beta+1<\alpha$, $\mathrm{cf}(\aleph_\alpha)\le\aleph_\beta$ · Prove2Me