lean_workbook_plus_38357

Proved

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

$19488391 \equiv 10 \pmod {11}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_38357 : 19488391 ≡ 10 [ZMOD 11]   :=  by sorry

Source