Theorem LucasLehmer.Int.natCast_pow_pred

Modification history