lean_workbook_plus_43745
ProvedProve that the function is not injective.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43745 : ¬ Function.Injective (fun x : ℝ => 9*x - x^3) := by sorry
Source
Prove that the function is not injective.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43745 : ¬ Function.Injective (fun x : ℝ => 9*x - x^3) := by sorry