lean_workbook_plus_9919
ProvedDetermine if the statement is true or false.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9919 : √((-4 : ℝ) ^ 2) = 4 := by sorry
Source
Determine if the statement is true or false.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9919 : √((-4 : ℝ) ^ 2) = 4 := by sorry