Mathlib Changelog
v4
Changelog
About
Github
Theorem
LucasLehmer.norm_num_ext.sModNatTR_eq_sModNat
Modification history
2025-08-13 10:56
Mathlib/NumberTheory/LucasLehmer.lean
feat(NumberTheory/LucasLehmer): prove converse direction to Lucas-Lehmer (#26272) …
Modified
LucasLehmer.norm_num_ext.sModNatTR_eq_sModNat
View on Github →
2024-10-23 07:27
Mathlib/NumberTheory/LucasLehmer.lean
feat: more tail recursion when finding Mersenne primes (#16168) …
Added
LucasLehmer.norm_num_ext.sModNatTR_eq_sModNat
View on Github →