Theorem Cardinal.IsStrongLimit.two_power_lt

Modification history