Theorem LucasLehmer.X.ωb_mul_ω

Modification history