lean_workbook_plus_78019

Proved

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

So I get $\frac{84}{504}=\boxed{\frac{1}{6}}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_78019 :
  (84 : ℝ) / 504 = 1 / 6   :=  by sorry

Source