Theorem LucasLehmer.X.coe_nat

Modification history