lean_workbook_plus_65923
ProvedFind .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65923 : ⌊- Real.sqrt 17⌋ = -5 := by sorry
Source
Find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65923 : ⌊- Real.sqrt 17⌋ = -5 := by sorry