Theorem LucasLehmer.X.α_pow

Modification history