Theorem LucasLehmer.X.pow_ω

Modification history