Theorem Theorems100.odd_mersenne_succ

Modification history

2024-08-23 09:30
Archive/Wiedijk100Theorems/PerfectNumbers.lean
chore: Don't simplify `Odd n` to `¬ Even n`, but the other way around (#16024) …
Deleted Theorems100.odd_mersenne_succView on Github →
2023-06-17 14:00
Archive/Wiedijk100Theorems/PerfectNumbers.lean
feat: port Archive.Wiedijk100Theorems.PerfectNumbers (#5184)
Added Theorems100.odd_mersenne_succView on Github →