lean_workbook_plus_29613
OpenSolve the equation for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29613 (L : ℝ) : L * (1 - exp (-L^2 / 4)) = 0 ↔ L = 0 := by sorry
Source
Solve the equation for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29613 (L : ℝ) : L * (1 - exp (-L^2 / 4)) = 0 ↔ L = 0 := by sorry