lean_workbook_plus_38899
ProvedProve that for all complex numbers and , .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38899 (z w : ℂ) : ‖z * w‖ = ‖z‖ * ‖w‖ := by sorry
Source
Prove that for all complex numbers and , .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38899 (z w : ℂ) : ‖z * w‖ = ‖z‖ * ‖w‖ := by sorry