Theorem LucasLehmer.X.one_add_α_pow_q

Modification history