Theorem LucasLehmer.sMod_lt

Modification history