Theorem LucasLehmer.X.one_add_α_sq

Modification history