lean_workbook_plus_70707
DisprovedIs it true that for all real values of x?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70707 : ∀ x : ℝ, Real.sqrt ((x-1)^2) = x-1 := by sorry
Source
Is it true that for all real values of x?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70707 : ∀ x : ℝ, Real.sqrt ((x-1)^2) = x-1 := by sorry