lean_workbook_plus_15286
Proved(a) If and then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15286 (x y z : ℝ) (hx : x ≠ 0) : x * y = x * z → y = z := by sorry
Source
(a) If and then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15286 (x y z : ℝ) (hx : x ≠ 0) : x * y = x * z → y = z := by sorry