For singular strong limit κ, κ^{cf κ} = 2^κ · Prove2Me

P

Initializing...

For singular strong limit κ, κ^{cf κ} = 2^κ · Prove2Me