Erdős problem 304
Is it true that ?
Sources
FormalConjectures/ErdosProblems/
304.lean
Retained formal statement
∀ {b : ℕ}, Erdos304.unitFractionExpressible 0 b = {0}APIStatement only, no proof
Erdős problem 304
The source's own material, retained exactly.
16 retained statements · 36c6d0fef71a
Open selected sourceFormalConjectures/ErdosProblems/
304.lean
1∀ {b : ℕ}, Erdos304.unitFractionExpressible 0 b = {0}