Erdős problem 1052
All unitary perfect numbers are even.
Sources
FormalConjectures/ErdosProblems/
1052.lean
Retained formal statement
Erdos1052.IsUnitaryPerfect 60TestStatement only, no proof
All unitary perfect numbers are even.
Browse retained paths and inspect the exact material available for this Problem.
7 retained statements · 2415f78e850a
Open selected sourceFormalConjectures/ErdosProblems/
1052.lean
1Erdos1052.IsUnitaryPerfect 60Find a Problem, Result, source, or page