Def LucasLehmer.norm_num_ext.sMod'

Modification history

2024-10-23 07:27
Mathlib/NumberTheory/LucasLehmer.lean
feat: more tail recursion when finding Mersenne primes (#16168) …
Deleted LucasLehmer.norm_num_ext.sMod'View on Github →
2023-07-04 15:57
Mathlib/NumberTheory/LucasLehmer.lean
feat: port Archive.Examples.MersennePrimes (#5704)
Added LucasLehmer.norm_num_ext.sMod'View on Github →