lean_workbook_plus_17324

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Given $a=-b$ , $b=-c$ , and $c=-a$ , show that $a=b=c=0$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_17324 (a b c : ℝ) (hab : a = -b) (hbc : b = -c) (hca : c = -a) : a = 0 ∧ b = 0 ∧ c = 0   :=  by sorry

Source