Erdős problem 1052

All unitary perfect numbers are even.

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

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