Mathlib Changelog
v4
Changelog
About
Github
Theorem
LucasLehmer.norm_num_ext.testTrueHelper
Modification history
2024-10-23 07:27
Mathlib/NumberTheory/LucasLehmer.lean
feat: more tail recursion when finding Mersenne primes (#16168) …
Modified
LucasLehmer.norm_num_ext.testTrueHelper
View on Github →
2023-07-04 15:57
Mathlib/NumberTheory/LucasLehmer.lean
feat: port Archive.Examples.MersennePrimes (#5704)
Added
LucasLehmer.norm_num_ext.testTrueHelper
View on Github →