Theorem LucasLehmer.norm_num_ext.sMod'_eq_sMod

Modification history

2023-07-04 15:57
Mathlib/NumberTheory/LucasLehmer.lean
feat: port Archive.Examples.MersennePrimes (#5704)
Added LucasLehmer.norm_num_ext.sMod'_eq_sModView on Github →