lean_workbook_plus_48772
ProvedFind such that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48772 : ∃ f : ℤ → ℤ, ∀ x : ℤ, 3 * f x - 2 * f (f x) = x := by sorry
Source
Find such that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_48772 : ∃ f : ℤ → ℤ, ∀ x : ℤ, 3 * f x - 2 * f (f x) = x := by sorry