lean_workbook_plus_70186

Proved

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

Given that $a$ and $b$ are multiples of $n$ , prove or disprove that $a + b$ is also a multiple of $n$ . Assume $n$ , $a$ , and $b$ are integers.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_70186 (n a b : ℤ) (h1 : n ∣ a) (h2 : n ∣ b) : n ∣ a + b   :=  by sorry

Source