lean_workbook_plus_48761

Proved

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

$6 - 2 + (5 - (-6)) = 4 + 11 = \boxed{15}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_48761 :
  6 - 2 + (5 - (-6)) = 15   :=  by sorry

Source