lean_workbook_plus_56086

Proved

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

The two numbers are $999$ and $10$ . What is the sum?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_56086 : 999 + 10 = 1009   :=  by sorry

Source