lean_workbook_plus_45671
ProvedProve that if , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45671 {a b : ℝ} (hab : a > b) (hb : b > 0) : Real.sqrt a > Real.sqrt b := by sorrySource
Prove that if , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45671 {a b : ℝ} (hab : a > b) (hb : b > 0) : Real.sqrt a > Real.sqrt b := by sorry