lean_workbook_plus_8208
ProvedDemonstrate that by relating it to the fraction .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8208 : (9 : ℝ) / 9 = 1 := by sorry
Source
Demonstrate that by relating it to the fraction .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8208 : (9 : ℝ) / 9 = 1 := by sorry