lean_workbook_plus_9088
ProvedProve that for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9088 (p : ℝ → ℝ) (hp : ∀ x, p x = x) : ∀ x, p x = x := by sorry
Source
Prove that for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9088 (p : ℝ → ℝ) (hp : ∀ x, p x = x) : ∀ x, p x = x := by sorry