lean_workbook_plus_53124
ProvedLet function such that , find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_53124 (f : ℤ → ℤ) (h : ∀ a b : ℤ, f (9 * f a + b) = 9 * a + b) : f 0 = 0 := by sorry
Source
Let function such that , find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_53124 (f : ℤ → ℤ) (h : ∀ a b : ℤ, f (9 * f a + b) = 9 * a + b) : f 0 = 0 := by sorry