lean_workbook_plus_56596
ProvedSolve the following radical:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_56596 : √(5^2) = 5 := by sorry
Source
Solve the following radical:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_56596 : √(5^2) = 5 := by sorry