Theorem mersenne_le_mersenne

Modification history

2024-05-06 18:48

Mathlib/NumberTheory/LucasLehmer.lean

feat: add `strictMono_mersenne` and corollaries (#12687) …

Added mersenne_le_mersenne View on Github →