lean_workbook_plus_18938
ProvedProve that for any two complex numbers and in rectangular form, .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_18938 (z w : ℂ) : ‖z + w‖ ≤ ‖z‖ + ‖w‖ := by sorry
Source
Prove that for any two complex numbers and in rectangular form, .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_18938 (z w : ℂ) : ‖z + w‖ ≤ ‖z‖ + ‖w‖ := by sorry