2. Chapter 1.1 Arithemtic of complex numbers🔗

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

Open the name space Complex.

1. 2.1. Data structure for complex numbers
2. 2.2. Linear equation in complex numbers
3. 2.3. Cardano equation
4. 2.4. Quadratic equation
5. 2.5. Complex numbers have no ordering
6. 2.6. n-th root of unity