Prove2Me

lean_workbook_plus_22572

Proved

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

We can sum up each of the voltage drops to get the total voltage drop. However, since one of the cells is reversed, we subtract that one instead of adding. Vtotal=3⋅1.5−1.5=3  VV_{total}=3 \cdot 1.5 - 1.5=3 \; V .

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_22572  (v : ℝ)
  (h₀ : v = 3 * 1.5 - 1.5) :
  v = 3   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph