ErdosProblems · test · AMS 52
easyknown result, no worker yet
Erdős Problem 107
Exercise 107 · Erdős
Depending on details of definitions, the statement is false or trivial for .
Formal statement · Lean 4.lean
theorem f_zero_eq : f 0 = 0 := by
sorryProof. sorry
Nobody has tried yet.