lean_workbook_plus_65631
DisprovedSo and so
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65631 : ∀ k : ℕ, k^3 < 61 → k ∈ ({1, 2, 3} : Finset ℕ) := by sorrySource
So and so
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65631 : ∀ k : ℕ, k^3 < 61 → k ∈ ({1, 2, 3} : Finset ℕ) := by sorry