Mathlib Changelog
v4
Changelog
About
Github
Theorem
LucasLehmer.X.pow_ω
Modification history
2025-08-13 10:56
Mathlib/NumberTheory/LucasLehmer.lean
feat(NumberTheory/LucasLehmer): prove converse direction to Lucas-Lehmer (#26272) …
Added
LucasLehmer.X.pow_ω
View on Github →