Theorem LucasLehmer.X.snd_natCast

Modification history