Prove2Me

lean_workbook_plus_8741

Proved

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

SE+G=30⇒E+G=S30\frac{S}{E+G}=30 \Rightarrow E+G=\frac{S}{30}

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8741 (S E G : ℝ) : S / (E + G) = 30 → E + G = S / 30   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph