Strong limit cardinal (source code)

= Strong limit cardinal
{wiki}

A cardinal $\kappa$ is a strong limit when $2^\lambda<\kappa$ for every cardinal $\lambda<\kappa$.