lean_workbook_plus_75406
Provedapplying square first, then sqrt, would equals to right?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75406 : √((-1 : ℝ) ^ 2) = 1 := by sorry
Source
applying square first, then sqrt, would equals to right?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_75406 : √((-1 : ℝ) ^ 2) = 1 := by sorry