Theorem LucasLehmer.sMod_succ

Modification history

2023-07-04 15:57

Mathlib/NumberTheory/LucasLehmer.lean

feat: port Archive.Examples.MersennePrimes (#5704)

Deleted LucasLehmer.sMod_succ View on Github →

2023-04-15 00:49

Mathlib/NumberTheory/LucasLehmer.lean

feat: port NumberTheory.LucasLehmer (#2988) …

Added LucasLehmer.sMod_succ View on Github →