lean_workbook_plus_47096
Proved, which indeed fits .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47096 : ∃ f : ℤ → ℤ, ∀ x, f x = - x^2 := by sorry
Source
, which indeed fits .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47096 : ∃ f : ℤ → ℤ, ∀ x, f x = - x^2 := by sorry