lean_workbook_plus_16719
ProvedFor , we have .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16719 (a b c : ℝ) : |a * 0 ^ 2 + b * 0 + c| = |c| := by sorry
Source
For , we have .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16719 (a b c : ℝ) : |a * 0 ^ 2 + b * 0 + c| = |c| := by sorry