lean_workbook_plus_19718
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19718 (n : ℕ) : (1 : ℚ) / (n + 1) = 2 / (2 * n + 2) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19718 (n : ℕ) : (1 : ℚ) / (n + 1) = 2 / (2 * n + 2) := by sorry