lean_workbook_plus_10522
ProvedProve that for the function
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_10522 (f : ℝ → ℝ) (x : ℝ) (h₁ : f x = x) : f (f x) = x := by sorry
Source
Prove that for the function
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_10522 (f : ℝ → ℝ) (x : ℝ) (h₁ : f x = x) : f (f x) = x := by sorry