lean_workbook_plus_3907
ProvedBase case: :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3907 : 2 * 1^2 + 1 ≤ 3^1 := by sorry
Source
Base case: :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3907 : 2 * 1^2 + 1 ≤ 3^1 := by sorry