lean_workbook_plus_42952

Proved

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

Verify the statement $12 + 13 \equiv 7 + 8 \pmod{5}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_42952 : 12 + 13 ≡ 7 + 8 [ZMOD 5]   :=  by sorry

Source