lean_workbook_plus_5844
ProvedThe percentage change between a and b is
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5844 (a b : ℝ) : (b - a) / a * 100 = (100 * (b - a)) / a := by sorry
Source
The percentage change between a and b is
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5844 (a b : ℝ) : (b - a) / a * 100 = (100 * (b - a)) / a := by sorry