lean_workbook_plus_72944
ProvedSolve for :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_72944 (b : ℝ) : 6/5 * b = 1.20 * b := by sorry
Source
Solve for :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_72944 (b : ℝ) : 6/5 * b = 1.20 * b := by sorry