Theorem LucasLehmer.X.two_mul_ω_pow

Modification history