lean_workbook_plus_43943
ProvedIf is a complex number, then is the following statement true ?\n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43943 (z : ℂ) : ‖z‖^2 = ‖z^2‖ := by sorry
Source
If is a complex number, then is the following statement true ?\n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43943 (z : ℂ) : ‖z‖^2 = ‖z^2‖ := by sorry