lean_workbook_plus_35328

Open

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

$\frac{1}{2}\cdot 12 \cdot 28-\frac{1}{2}\pi8^{2}=168-32\pi$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_35328 (h₁ : π * 8^2 = 64 * π) : 1 / 2 * 12 * 28 - 1 / 2 * π * 8^2 = 168 - 32 * π   :=  by sorry

Source