4. Chapter 1.4 Polar form and DeMoivre theorem🔗

Formalization of Section 1.4 in textbook.

import Mathlib.Data.Complex.Basic
import Mathlib.Tactic

open the namespace Complex

1. 4.1. Polar form
2. 4.2. DeMoivre formula