Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.eq_pow_two_mul_odd

Modification history

2021-04-28 19:37
archive/100-theorems-list/70_perfect_numbers.lean
chore(*): use `sq` as convention for "squared" (#7368) …
Deleted nat.eq_pow_two_mul_oddView on Github →
2020-10-15 20:34
archive/100-theorems-list/70_perfect_numbers.lean
feat(archive/100-theorems-list/70_perfect_numbers): Perfect Number Theorem, Direction 2 (#4621) …
Added nat.eq_pow_two_mul_oddView on Github →