Erdős problem 304
Is it true that ?
Sources
FormalConjectures/ErdosProblems/
304.lean
Retained formal statement
∀ (b : ℕ), 1 < b → Erdos304.smallestCollection 1 b = 1APIStatement 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 : ℕ), 1 < b → Erdos304.smallestCollection 1 b = 1