Theorem LucasLehmer.X.one_add_α_pow_q_succ

Modification history