lean_workbook_plus_42220
Provedor or
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42220 {a b c : ℂ} (h : (a - b) * (b - c) * (c - a) = 0) :
a = b ∨ b = c ∨ c = a := by sorrySource
or or
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42220 {a b c : ℂ} (h : (a - b) * (b - c) * (c - a) = 0) :
a = b ∨ b = c ∨ c = a := by sorry