lean_workbook_plus_46663
ProvedProve or disprove the inequality: .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46663 : (2 : ℝ) > 1 := by sorry
Source
Prove or disprove the inequality: .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46663 : (2 : ℝ) > 1 := by sorry