ErdosProblems · test · AMS 5
easyknown result, no worker yet
Erdős Problem 80
Exercise 80 · Erdős
On a graph with no edges there is no book.
Formal statement · Lean 4.lean
theorem bookNumber_bot {n : ℕ} : bookNumber (⊥ : SimpleGraph (Fin n)) = 0 := by
sorryProof. sorry
Nobody has tried yet.