lean_workbook_plus_80535
OpenFind such that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_80535 (b : ℝ) : ∃ r_b, sin r_b = 1 / Real.sqrt (1 + b^2) := by sorry
Source
Find such that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_80535 (b : ℝ) : ∃ r_b, sin r_b = 1 / Real.sqrt (1 + b^2) := by sorry