Theorem LucasLehmer.X.coe_natCast

Modification history