lean_workbook_plus_28817
ProvedWhat is the absolute value of the complex number ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28817 : ‖3 + 4 * Complex.I‖ = 5 := by sorry
Source
What is the absolute value of the complex number ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28817 : ‖3 + 4 * Complex.I‖ = 5 := by sorry