Theorem LucasLehmer.X.ω_pow_trace

Modification history