Prove2Me

lean_workbook_plus_35904

Proved

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

W=Fd=(180N)(6m)=1080JW = Fd = (180 N)(6 m) = 1080 J

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35904 (F : ℝ) (d : ℝ) (h₁ : F = 180) (h₂ : d = 6) : F * d = 1080   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph