lean_workbook_plus_31417

Proved

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

We now prime factorize $1996 = 2^2 \times 499$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_31417 :
  1996 = 2^2 * 499   :=  by sorry

Source