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