Mathlib Changelog
v4
Changelog
About
Github
Theorem
LucasLehmer.norm_num_ext.isNat_not_lucasLehmerTest
Modification history
2023-07-04 15:57
Mathlib/NumberTheory/LucasLehmer.lean
feat: port Archive.Examples.MersennePrimes (#5704)
Added
LucasLehmer.norm_num_ext.isNat_not_lucasLehmerTest
View on Github →