Def LucasLehmer.norm_num_ext.evalLucasLehmerTest

Modification history

2024-10-14 12:17
Mathlib/NumberTheory/LucasLehmer.lean
chore: unused arguments (#17348)
Modified LucasLehmer.norm_num_ext.evalLucasLehmerTestView on Github →
2023-07-04 15:57
Mathlib/NumberTheory/LucasLehmer.lean
feat: port Archive.Examples.MersennePrimes (#5704)
Added LucasLehmer.norm_num_ext.evalLucasLehmerTestView on Github →