lean_workbook_plus_25299

Proved

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

$10^{10} = 2^{10} \cdot 5^{10}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_25299 : 10^10 = 2^10 * 5^10   :=  by sorry

Source