Theorem LucasLehmer.norm_num_ext.sModNat_eq_sMod

Modification history

2024-10-23 07:27
Mathlib/NumberTheory/LucasLehmer.lean
feat: more tail recursion when finding Mersenne primes (#16168) …
Added LucasLehmer.norm_num_ext.sModNat_eq_sModView on Github →