lean_workbook_plus_19218

Proved

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

Determine if $10 \equiv -1 (\mod 11)$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_19218 : 10 ≡ -1 [ZMOD 11]   :=  by sorry

Source