Hausdorff formula for cardinal exponentiation (source code)

= Hausdorff formula for cardinal exponentiation
{c}
{wiki=Cardinal_number#Cardinal_exponentiation}

For infinite cardinals $\kappa,\lambda$, Hausdorff's formula is
$$
(\kappa^+)^\lambda=\kappa^\lambda\cdot\kappa^+
=\max\{\kappa^\lambda,\kappa^+\}.
$$