Strong limit cardinal

ID: strong-limit-cardinal

A cardinal is a strong limit when for every cardinal .

New to topics? Read the docs here!