lean_workbook_plus_12974
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_12974 (a b c m_a m_b m_c : ℝ) : a / m_a = b / m_b ∧ b / m_b = c / m_c → a / m_a = c / m_c := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_12974 (a b c m_a m_b m_c : ℝ) : a / m_a = b / m_b ∧ b / m_b = c / m_c → a / m_a = c / m_c := by sorry