Erdős problem 304
Is it true that ?
Sources
FormalConjectures/ErdosProblems/
304.lean
Retained formal statement
∀ {a b : ℕ}, 0 ∈ Erdos304.unitFractionExpressible a b ↔ a = 0 ∨ b = 0APIStatement 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∀ {a b : ℕ}, 0 ∈ Erdos304.unitFractionExpressible a b ↔ a = 0 ∨ b = 0