lean_workbook_plus_49448
ProvedShow that if , , and , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49448 : ∀ {a b c : ℕ}, a ∣ b ∧ b ∣ c ∧ c ∣ a → a = b ∧ b = c ∧ c = a := by sorrySource
Show that if , , and , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49448 : ∀ {a b c : ℕ}, a ∣ b ∧ b ∣ c ∧ c ∣ a → a = b ∧ b = c ∧ c = a := by sorry