Theorem LucasLehmer.X.α_sq

Modification history