Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-17 14:00
9ea47baa
View on Github →
feat: port Archive.Wiedijk100Theorems.PerfectNumbers (
#5184
)
Estimated changes
Modified
Archive.lean
Created
Archive/Wiedijk100Theorems/PerfectNumbers.lean
added
theorem
Theorems100.Nat.eq_two_pow_mul_odd
added
theorem
Theorems100.Nat.eq_two_pow_mul_prime_mersenne_of_even_perfect
added
theorem
Theorems100.Nat.even_and_perfect_iff
added
theorem
Theorems100.Nat.even_two_pow_mul_mersenne_of_prime
added
theorem
Theorems100.Nat.ne_zero_of_prime_mersenne
added
theorem
Theorems100.Nat.perfect_two_pow_mul_mersenne_of_prime
added
theorem
Theorems100.Nat.sigma_two_pow_eq_mersenne_succ
added
theorem
Theorems100.odd_mersenne_succ