Erdős problem 1052 · problems.science

All unitary perfect numbers are even.

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1052.lean

Retained formal statement1 of 7

Are there only finitely many unitary perfect numbers?

FormalConjectures/ErdosProblems/1052.leanErdos1052.erdos_10521 lineExact file

1sorry ↔ {n | Erdos1052.IsUnitaryPerfect n}.Finite

OpenStatement only, no proof