lean_workbook_plus_51673
ProvedProve that the function is injective.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_51673 : Function.Injective (fun x : ℝ => 2 * x) := by sorry
Source
Prove that the function is injective.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_51673 : Function.Injective (fun x : ℝ => 2 * x) := by sorry