lean_workbook_plus_42808
Provedis the same as .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42808 (x : ℝ) : 1 / 4 < x ↔ x > 1 / 4 := by sorry
Source
is the same as .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42808 (x : ℝ) : 1 / 4 < x ↔ x > 1 / 4 := by sorry