Prove2Me

lean_workbook_plus_53233

Proved

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

P=828=27  ⟹  (B)P = \frac {8}{28} = \frac {2}{7} \implies \boxed {\textbf {(B)}}

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_53233 :
  (8 : ℝ) / 28 = 2 / 7   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph