lean_workbook_plus_76312
ProvedFind the floor of the square root of 850, .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_76312 : ⌊Real.sqrt 850⌋ = 29 := by sorry
Source
Find the floor of the square root of 850, .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_76312 : ⌊Real.sqrt 850⌋ = 29 := by sorry