lean_workbook_plus_34872
ProvedBy definition, for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34872 (n : ℝ) : n ∣ 0 := by sorry
Source
By definition, for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34872 (n : ℝ) : n ∣ 0 := by sorry