lean_workbook_plus_43423
ProvedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43423 : (1.8582 : ℝ) / 1.05 > 1.7697 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43423 : (1.8582 : ℝ) / 1.05 > 1.7697 := by sorry